Measuring and Evaluating Parallel State-Space Exploration Algorithms

Jonathan Ezekiel, Gerald Lüttgen. Measuring and Evaluating Parallel State-Space Exploration Algorithms. Electronic Notes in Theoretical Computer Science, 198(1):47-61, 2008. [doi]

Abstract

Abstract is missing.