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 Tue Nov 19 09:56:55 2019 CET.