Concavely−Priced Timed Automata
Marcin Jurdzinski and Ashutosh Trivedi
Book Title
Formal Modelling and Analysis of Timed Systems
Editor
Cassez‚ F. and Jard‚ C.
Journal
FORMATS
Pages
48–62
Publisher
Springer
Series
LNCS
Volume
5215
Year
2008
Marcin Jurdzinski and Ashutosh Trivedi