EEMCS

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

EEMCS EPrints Service


Editor: König, B.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2016

Rensink, A. (2016) Verification Techniques for Graph Rewriting (Tutorial). (Invited) In: Verification of Evolving Graph Structures, 1-6 Nov 2015, Dagstuhl, Germany. pp. 18-18. Dagstuhl Reports 5 (11). Dagstuhl Publishing. ISSN 2192-5283

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

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

Baldan, P. and König, B. and Rensink, A. (2005) Summary 2: Graph Grammar Verification through Abstraction. In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2005, Dagstuhl, Germany. Dagstuhl Seminar 04241. Dagstuhl. ISSN 1862-4405

This list was generated on Mon May 29 02:07:02 CEST 2017.