Randomized Backtracking in State Space Traversal - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pavel Parizek, Ondrej Lhoták. Randomized Backtracking in State Space Traversal. In Alex Groce, Madanlal Musuvathi, editors, Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Volume 6823 of Lecture Notes in Computer Science, pages 75-89, Springer, 2011. [doi]

This author has not been identified. Look up 'Pavel Parizek' in GoogleThis author has not been identified. It may be one of the following persons:

Ondřej Lhoták

Look up 'Ondrej Lhoták' in Google

runs on WebDSL