|
[BFLM11]
P. Bouyer, U. Fahrenberg, K. Larsen and N. Markey.
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata.
Communications of the ACM, 54(9), pages 78-87.
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|