"Multi-threaded Explicit State Space Exploration with State Reconstruction."

Sami Evangelista, Lars Michael Kristensen, Laure Petrucci (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics