Concavely−Priced Timed Automata

מידע ביבליוגרפי
Main Authors: Jurdzinski, M, Trivedi, A
מחברים אחרים: Cassez, F
פורמט: Conference item
יצא לאור: Springer 2008