Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2008
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
2007
Rensink, A. and Heckel, R. and König, B.
(2007)
Graph Transformation for Concurrency and Verification - Preface.
In: Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC), 31 Aug 2006, Bonn, Germany.
pp. 1-2.
Electronic Notes in Theoretical Computer Science 175.
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
Heckel, R. and König, B. and Rensink, A.
(2005)
Graph Transformation for Verification and Concurrency.
Technical Report TR-CTIT-05-34,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||