Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics
Submitted by nmaquet on Fri, 14/01/2011 - 16:50
Technical Report PDF:
Technical Report Number:
2008.116 Title | Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics |
Publication Type | Conference Paper |
Year of Publication | 2008 |
Authors | Bertrand, N, Bouyer P, Brihaye T, Markey N |
Conference Name | QEST |
»