Concavely−Priced Timed Automata

Bibliografische gegevens
Hoofdauteurs: Jurdzinski, M, Trivedi, A
Andere auteurs: Cassez, F
Formaat: Conference item
Gepubliceerd in: Springer 2008