EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Meseguer, J.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2008

Rensink, A. (2008) Explicit State Model Checking for Graph Grammars. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science 5065. Springer Verlag, Berlin, pp. 114-132. ISSN 1611-3349 ISBN 978-3-540-68676-7

This list was generated on Fri Mar 24 04:33:45 CET 2017.