EEMCS EPrints Service
|
||||||||||||||||
2010
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
|
||||||||||||||||