Concavely-Priced Timed Automata
Marcin Jurdzinski and Ashutosh Trivedi infobook 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 |
links
BibTeX
Link
related pages
|
