Concavely−Priced Timed Automata

Opis bibliograficzny
Główni autorzy: Jurdzinski, M, Trivedi, A
Kolejni autorzy: Cassez, F
Format: Conference item
Wydane: Springer 2008