Fortuna: Model Checking Priced Probabilistic Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jasper Berendsen, David N. Jansen, Frits W. Vaandrager. Fortuna: Model Checking Priced Probabilistic Timed Automata. In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010. pages 273-281, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Jasper Berendsen' in GoogleThis author has not been identified. Look up 'David N. Jansen' in GoogleThis author has not been identified. It may be one of the following persons:

Frits W. Vaandrager

Look up 'Frits W. Vaandrager' in Google

runs on WebDSL