A Database Approach to Distributed State-Space Generation
Blom, S., Lisser, B., Van De Pol, J., Weber, M.Volume:
21
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exp004
Date:
February, 2011
File:
PDF, 335 KB
english, 2011