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 |
»