Concavely-Priced Probabilistic Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin J. Norman, Ashutosh Trivedi. Concavely-Priced Probabilistic Timed Automata. In Mario Bravetti, Gianluigi Zavattaro, editors, CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Volume 5710 of Lecture Notes in Computer Science, pages 415-430, Springer, 2009. [doi]

This author has not been identified. Look up 'Marcin Jurdzinski' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleIdentified as Gethin J. Norman This author has not been identified. Look up 'Ashutosh Trivedi' in Google

runs on WebDSL