EEMCS

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

EEMCS EPrints Service


Editor: Engels, G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 5.

2012

Rensink, A. and Zambon, Eduardo (2012) Pattern-Based Graph Abstraction. In: International Conference on Graph Transformation (ICGT 2012), 24-29 Sep 2012, Bremen, Germany. pp. 66-80. Lecture Notes in Computer Science 7562. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33653-9
Ghamarian, A.H. and Rensink, A. (2012) Generalised compositionality in graph transformation. In: 6th International Conference on Graph Transformation (ICGT 2012), 24-29 Sep 2012, Bremen, Germany. pp. 234-248. Lecture Notes in Computer Science 7562. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33653-9

2010

Rensink, A. (2010) The Edge of Graph Transformation - Graphs for Behavioural Specification. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science 5765. Springer Verlag, Berlin, pp. 6-32. ISSN 0302-9743 ISBN 978-3-642-17321-9

2004

Rensink, A. and Schmidt, A. and Varró, D. (2004) Model Checking Graph Transformations: A Comparison of Two Approaches. In: International Conference on Graph Transformations (ICGT). pp. 226-241. Lecture Notes in Computer Science 3256. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-23207-0
Rensink, A. (2004) Representing First-Order Logic Using Graphs. In: International Conference on Graph Transformations (ICGT). pp. 319-335. Lecture Notes in Computer Science 3256. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-23207-0

This list was generated on Mon Apr 24 00:14:33 CEST 2017.