EEMCS

Blom, S.C.C. and Kant, G. and Rensink, A. (2010) Distributed Graph-Based State Space Generation. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, The Netherlands. pp. 118-130. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672

Kant, G. (2010) Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking. Technical Report TR-CTIT-10-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kant, G. (2010) Distributed State Space Generation for Graphs up to Isomorphism. Master's thesis, University of Twente.