Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2003
Buchholz, P. and Katoen, J.P. and Kemper, P. and Tepper, C.
(2003)
Model-checking large structured Markov chains.
Journal of Logic and Algebraic Programming, 56 (1-2).
pp. 69-97.
ISSN 1567-8326
*** ISI Impact 0,537 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||