Items where Author is "Toman, Viktor"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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)
  • This list was generated on Thu Nov 21 16:17:24 2024 CET.