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

Technical Report PDF: 
Technical Report Number: 
2008.116
TitleQuantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics
Publication TypeConference Paper
Year of Publication2008
AuthorsBertrand, N, Bouyer P, Brihaye T, Markey N
Conference NameQEST