EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Hermenegildo, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2010

Katoen, J.P. (2010) Advances in Probabilistic Model Checking. (Invited) In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain. pp. 25-25. Lecture Notes in Computer Science 5944. Springer Verlag. ISBN 978-3-642-11318-5

This list was generated on Fri Mar 24 02:22:07 CET 2017.