Concavely−Priced Timed Automata

Dades bibliogràfiques
Autors principals: Jurdzinski, M, Trivedi, A
Altres autors: Cassez, F
Format: Conference item
Publicat: Springer 2008