Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France. pages 55-64, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Nathalie Bertrand' in GoogleThis author has not been identified. Look up 'Patricia Bouyer' in GoogleThis author has not been identified. Look up 'Thomas Brihaye' in GoogleThis author has not been identified. Look up 'Nicolas Markey' in Google

runs on WebDSL