[KNPS08]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Verification of Real-Time Probabilistic Systems.
In S. Merz and N. Navet (editors), Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, pages 249-288, John Wiley & Sons.
January 2008.
[pdf]
[bib]
http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195
|
Available from:
http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195
|
![]() |