Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2011
Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, Alexandru
(2011)
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.
Logical Methods in Computer Science, 7 (1).
12:1-12:34.
ISSN 1860-5974
*** ISI Impact 0,864 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||