d your e-mail address to receive free newsletters from SCIRP.

 

Contact Us >>

   customer@scirp.org
WhatsApp  +86 18163351462(WhatsApp)
   
Paper Publishing WeChat
Book Publishing WeChat
(or Email:book@scirp.org)

Article citations

More>>

Kwiatkowska, M., Norman, G. and Parker, D. (2011) PRISM 4.0: Verification of Probabilistic Real-Time Systems. Proceedings of the 23rd International Conference on Computer Aided Verification, LNCS 6806, Snowbird, USA, 14-20 July 2011, 585-591.

has been cited by the following article: