Items where Author is "Toman, Viktor"
Group by: Category | No Grouping Number of items: 1. Paper in Conference Proceedings or in Workshop Proceedings
Chatterjee, Krishnendu and Henzinger, Monika and Loitzenbauer, Veronika and Oraee, Simin and Toman, Viktor
In: 30th International Conference on Computer Aided Verification (CAV 2018)
, July 14-17
, Oxford, UK
(2018)
|