Sciweavers

LICS
2009
IEEE

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

13 years 10 months ago
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al
Added 24 May 2010
Updated 24 May 2010
Type Conference
Year 2009
Where LICS
Authors Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Comments (0)