Concavely−Priced Probabilistic Timed Automata
G. Norman M. Jurdzinski M. Kwiatkowska and A. Trivedi
Details
| Editor |
M. Bravetti and G. Zavattaro |
| Journal |
Proc. 20th Int. Conf. Concurrency Theory (CONCUR'09) |
| Year |
2009 |
Links
Related pages
|
People |