Partial-Order Reduction for General State Exploring Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente. Partial-Order Reduction for General State Exploring Algorithms. In Antti Valmari, editor, Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Volume 3925 of Lecture Notes in Computer Science, pages 271-287, Springer, 2006. [doi]

This author has not been identified. Look up 'Dragan Bosnacki' in GoogleThis author has not been identified. Look up 'Stefan Leue' in GoogleThis author has not been identified. Look up 'Alberto Lluch-Lafuente' in Google

runs on WebDSL