Author:
Laarman Alfons,van de Pol Jaco,Weber Michael
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Blom, S.C.C., Lisser, B., van de Pol, J.C., Weber, M.: A database approach to distributed state space generation. In: Sixth International Workshop on Parallel and Distributed Methods in Verification, PDMC, pp. 17–32, CTIT, Enschede (2007)
2. Blom, S.C.C., van de Pol, J.C., Weber, M.: Bridging the gap between enumerative and symbolic model checkers. Technical Report TR-CTIT-09-30, University of Twente, Enschede (June 2009)
3. Lecture Notes in Computer Science;S. Blom,2010
4. Blom, S.C.C., van Langevelde, I., Lisser, B.: Compressed and distributed file formats for labeled transition systems. Electronic Notes in Theoretical Computer Science 89(1), 68–83 (2003) ; PDMC 2003, Parallel and Distributed Model Checking (Satellite Workshop of CAV 2003)
5. Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293–318 (1992)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献