Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 3. 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 Thu May 24 06:10:14 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||