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 |