Concavely−Priced Timed Automata

Bibliographische Detailangaben
Hauptverfasser: Jurdzinski, M, Trivedi, A
Weitere Verfasser: Cassez, F
Format: Conference item
Veröffentlicht: Springer 2008