Concavely−Priced Timed Automata
Marcin Jurdzinski and Ashutosh Trivedi
Details
| 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 |
Links
Related pages
|
People |