DMCA

Parallelising Symbolic State-Space Generators (2007)

by Jonathan Ezekiel , Gerald Lüttgen , Gianfranco Ciardo
Citations:4 - 2 self