Article citationsMore>>

Katoen, J.P. (2010) Advances in Probabilistic Model Checking. Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI’10), Madrid, 17-19 January 2010, 25-25. http://dx.doi.org/10.1007/978-3-642-11319-2_5

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
+1 323-425-8868
customer@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top