Items where Author is "Swaminathan, Mani"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.


Swaminathan, Mani (2016) Quantitative and structural analysis of real-time and probabilistic systems. PhD, Universität Oldenburg.

Conference or Workshop Item

Fränzle, Martin and Shirmohammadi, Mahsa and Swaminathan, Mani and Worrell, James (2018) Costs and rewards in priced timed automata. In: 45th International Colloquium on Automata, Languages, and Programming: ICALP 2018, July 9-13, 2018, Prague, Czech Republic.

This list was generated on Sat Feb 22 09:03:58 2020 CET.