Concavely−Priced Timed Automata

Bibliografiska uppgifter
Huvudupphovsmän: Jurdzinski, M, Trivedi, A
Övriga upphovsmän: Cassez, F
Materialtyp: Conference item
Publicerad: Springer 2008