A Database Approach to Distributed State Space Generation

Stefan Blom, Bert Lisser, Jaco van de Pol, and Michael Weber
Proceedings of the 6th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2007), Electronic Notes in Theoretical Computer Science 198(1), pp. 17 – 32, 2008.

abstract   BibTeX   PDF   doi:10.1016/j.entcs.2007.10.018  
© 2008 Elsevier B.V.