Graph Transformation for Concurrency and Verification - Preface

Barbara König; Reiko Heckel

doi:10.1016/j.entcs.2008.04.070

Graph Transformation for Concurrency and Verification - Preface

Barbara König, Reiko Heckel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

2 Downloads (Pure)

Original language	Undefined
Title of host publication	Graph Transformation for Verification and Concurrency
Editors	B. König, Arend Rensink, R. Heckel
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	1-2
Number of pages	2
DOIs	https://doi.org/10.1016/j.entcs.2008.04.070
Publication status	Published - May 2008
Event	Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC - Lisbon, Portugal Duration: 3 Sept 2007 → 3 Sept 2007

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Number	1
Volume	213
ISSN (Print)	1571-0661
ISSN (Electronic)	1571-0661

Workshop

Workshop	Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC
Period	3/09/07 → 3/09/07
Other	3 September 2007

Keywords

IR-62310
EWI-12758
METIS-254872

Access to Document

10.1016/j.entcs.2008.04.070

http://eprints.eemcs.utwente.nl/secure2/12758/01/gtvc2007.pdf

Cite this

@inproceedings{f42dacb238324dc5ad1c005eaff727e0,

title = "Graph Transformation for Concurrency and Verification - Preface",

keywords = "IR-62310, EWI-12758, METIS-254872",

author = "Barbara K{\"o}nig and Reiko Heckel",

note = "10.1016/j.entcs.2008.04.070 ; Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC ; Conference date: 03-09-2007 Through 03-09-2007",

year = "2008",

month = may,

doi = "10.1016/j.entcs.2008.04.070",

language = "Undefined",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "1",

pages = "1--2",

editor = "B. K{\"o}nig and Arend Rensink and R. Heckel",

booktitle = "Graph Transformation for Verification and Concurrency",

}

König, B & Heckel, R 2008, Graph Transformation for Concurrency and Verification - Preface. in B König, A Rensink & R Heckel (eds), Graph Transformation for Verification and Concurrency., 10.1016/j.entcs.2008.04.070, Electronic Notes in Theoretical Computer Science, no. 1, vol. 213, Elsevier, Amsterdam, pp. 1-2, Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC, 3/09/07. https://doi.org/10.1016/j.entcs.2008.04.070

Graph Transformation for Concurrency and Verification - Preface. / König, Barbara; Heckel, Reiko.
Graph Transformation for Verification and Concurrency. ed. / B. König; Arend Rensink; R. Heckel. Amsterdam: Elsevier, 2008. p. 1-2 10.1016/j.entcs.2008.04.070 (Electronic Notes in Theoretical Computer Science; Vol. 213, No. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Graph Transformation for Concurrency and Verification - Preface

AU - König, Barbara

AU - Heckel, Reiko

N1 - 10.1016/j.entcs.2008.04.070

PY - 2008/5

Y1 - 2008/5

KW - IR-62310

KW - EWI-12758

KW - METIS-254872

U2 - 10.1016/j.entcs.2008.04.070

DO - 10.1016/j.entcs.2008.04.070

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 1

EP - 2

BT - Graph Transformation for Verification and Concurrency

A2 - König, B.

A2 - Rensink, Arend

A2 - Heckel, R.

PB - Elsevier

CY - Amsterdam

T2 - Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC

Y2 - 3 September 2007 through 3 September 2007

ER -