Minimization of Counterexamples in SPIN - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paul Gastin, Pierre Moro, Marc Zeitoun. Minimization of Counterexamples in SPIN. In Susanne Graf, Laurent Mounier, editors, Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Volume 2989 of Lecture Notes in Computer Science, pages 92-108, Springer, 2004. [doi]

This author has not been identified. Look up 'Paul Gastin' in GoogleThis author has not been identified. Look up 'Pierre Moro' in GoogleThis author has not been identified. Look up 'Marc Zeitoun' in Google

runs on WebDSL