Enhanced Probabilistic Verification with 3Spin and 3Murphi - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter C. Dillinger, Panagiotis Manolios. Enhanced Probabilistic Verification with 3Spin and 3Murphi. In Patrice Godefroid, editor, Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Volume 3639 of Lecture Notes in Computer Science, pages 272-276, Springer, 2005. [doi]

This author has not been identified. Look up 'Peter C. Dillinger' in GoogleThis author has not been identified. Look up 'Panagiotis Manolios' in Google

runs on WebDSL