Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 7. 2009
Rensink, A. and Kuperus, J.-H.
(2009)
Repotting the geraniums: on nested graph transformation rules.
In: Graph transformation and visual modelling techniques, 28-29 Mar 2009, York, U.K..
Electronic Communications of the EASST 18.
EASST.
ISSN 1863-2122
2008
Bauer, J. and Boneva, I.B. and Kurban, M.E. and Rensink, A.
(2008)
A Modal-Logic Based Graph Abstraction.
In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK.
pp. 321-335.
Lecture Notes in Computer Science 5214.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-87404-1
Rensink, A. and Van Gorp, P.
(2008)
Graph-Based Tools: The Contest.
In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK.
pp. 463-466.
Lecture Notes in Computer Science 5214.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-87404-1
Kleppe, A.G. and Rensink, A.
(2008)
On a Graph-Based Semantics for UML Class and Object Diagrams.
In: Graph Transformation and Visual Modelling Techniques, 29-30 Apr 2008, Budapest, Hungary.
Electronic Communications of the EASST 10.
EASST.
ISSN 1863-2122
König, B. and Rensink, A. and Heckel, R.
(2008)
Graph Transformation for Concurrency and Verification - Preface.
In: Graph Transformation for Verification and Concurrency, 3 Sep 2007, Lisbon, Portugal.
pp. 1-2.
Electronic Notes in Theoretical Computer Science 213 (1).
Elsevier.
ISSN 1571-0661
2006
Rensink, A. and Heckel, R. and König, B.
(2006)
Preface.
In: Graph Transformation for Verification and Concurrency, Aug 2005, San Fransisco, USA.
pp. 1-5.
Electronic Notes in Theoretical Computer Science 154 (2).
Elsevier.
ISSN 1571-0661
2005
Rensink, A.
(2005)
Subjects, Models, Languages, Transformations.
In: Language Engineering for Model-Driven Software Development, 29 Feb - 05 Mar 2004, Dagstuhl.
Dagstuhl Seminar Proceedings 04101.
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI).
ISSN 1862-4405
This list was generated on Thu May 24 06:33:13 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||