Approximate Probabilistic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet. Approximate Probabilistic Model Checking. In Bernhard Steffen, Giorgio Levi, editors, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Volume 2937 of Lecture Notes in Computer Science, pages 73-84, Springer, 2004. [doi]

This author has not been identified. Look up 'Thomas Hérault' in GoogleThis author has not been identified. Look up 'Richard Lassaigne' in GoogleThis author has not been identified. Look up 'Frédéric Magniette' in GoogleThis author has not been identified. Look up 'Sylvain Peyronnet' in Google

runs on WebDSL