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