Concavely−Priced Timed Automata

Detalles Bibliográficos
Main Authors: Jurdzinski, M, Trivedi, A
Outros autores: Cassez, F
Formato: Conference item
Publicado: Springer 2008