Concavely−Priced Timed Automata

Détails bibliographiques
Auteurs principaux: Jurdzinski, M, Trivedi, A
Autres auteurs: Cassez, F
Format: Conference item
Publié: Springer 2008