Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2006
Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W.
(2006)
A Testing Scenario for Probabilistic Processes.
Technical Report ICIS-R06002,
Radboud University Nijmegen, Nijmegen.
2005
de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A.
(2005)
Model Checking Discounted Temporal Properties.
Theoretical computer science, 345 (1).
pp. 139-170.
ISSN 0304-3975
*** ISI Impact 0,838 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||