Skip to main content

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