Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2007
De Nicola, R. and Katoen, J.P. and Latella, D. and Loreti, M. and Massink, M.
(2007)
Model checking mobile stochastic logic.
Theoretical computer science, 382 (1).
pp. 42-70.
ISSN 0304-3975
*** ISI Impact 0,838 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||