1. Barnat, J., Ročkai, P.: Shared hash tables in parallel model checking. Elec. Notes in Theor. Comp. Sc. 198(1), 79–91 (2008); Proc. of the 6th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2007)
2. Blom, S., van de Pol, J., Weber, M.: Bridging the gap between enumerative and symbolic model checkers. Tech. Rep. TR-CTIT-09-30, Centre for Telematics and Information Technology, University of Twente, Enschede (2009)
3. Blom, S., Lisser, B., van de Pol, J., Weber, M.: A database approach to distributed state space generation. In: Sixth Intl. Workshop on Par. and Distr. Methods in verifiCation, PDMC, pp. 17–32. CTIT, Enschede (2007)
4. Lecture Notes in Computer Science;S. Blom,2010
5. Holzmann, G.J., Bošnacki, D.: The design of a multicore extension of the SPIN model checker. IEEE Trans. Softw. Eng. 33(10), 659–674 (2007)