Found 2 Documents (Results 1–2)
A database approach to distributed state space generation. (English) Zbl 1277.68161
Černá, Ivana (ed.) et al., Proceedings of the 6th international workshop on parallel and distributed methods in verification (PDMC 2007), Berlin, Germany, July 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 198, No. 1, 17-32 (2008).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Blom, Stefan (2)
- Lisser, Bert (2)
- van de Pol, Jan Cornelis (2)
Main Field
- 68-XX (2)