Graph Transformation for Concurrency and Verification - Preface

Arend Rensink; Reiko Heckel; Barbara König

doi:10.1016/j.entcs.2007.04.012

Graph Transformation for Concurrency and Verification - Preface

Arend Rensink, Reiko Heckel, Barbara König

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

4 Downloads (Pure)

Original language	Undefined
Title of host publication	Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC)
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	1-2
Number of pages	2
DOIs	https://doi.org/10.1016/j.entcs.2007.04.012
Publication status	Published - Jul 2007
Event	Workshop on Graph Transformation for Concurrency and Verification, GT-VC - Bonn, Germany Duration: 31 Aug 2006 → 31 Aug 2006

Publication series

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

Workshop

Workshop	Workshop on Graph Transformation for Concurrency and Verification, GT-VC
Period	31/08/06 → 31/08/06
Other	31 Aug 2006

Keywords

EWI-10406
METIS-241749
IR-61779

Access to Document

10.1016/j.entcs.2007.04.012

http://eprints.eemcs.utwente.nl/secure2/10406/01/preface.pdf

Cite this

Rensink, A., Heckel, R., & 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) (pp. 1-2). Article 10.1016/j.entcs.2007.04.012 (Electronic Notes in Theoretical Computer Science; Vol. 175, No. 1). Elsevier. https://doi.org/10.1016/j.entcs.2007.04.012

@inproceedings{c768643a6a6940ffb5948858f5260bf8,

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

keywords = "EWI-10406, METIS-241749, IR-61779",

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

note = "10.1016/j.entcs.2007.04.012 ; Workshop on Graph Transformation for Concurrency and Verification, GT-VC ; Conference date: 31-08-2006 Through 31-08-2006",

year = "2007",

month = jul,

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

language = "Undefined",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "1",

pages = "1--2",

booktitle = "Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC)",

}

Rensink, A, Heckel, R & 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)., 10.1016/j.entcs.2007.04.012, Electronic Notes in Theoretical Computer Science, no. 1, vol. 175, Elsevier, Amsterdam, pp. 1-2, Workshop on Graph Transformation for Concurrency and Verification, GT-VC, 31/08/06. https://doi.org/10.1016/j.entcs.2007.04.012

Graph Transformation for Concurrency and Verification - Preface. / Rensink, Arend; Heckel, Reiko; König, Barbara.
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC). Amsterdam: Elsevier, 2007. p. 1-2 10.1016/j.entcs.2007.04.012 (Electronic Notes in Theoretical Computer Science; Vol. 175, No. 1).

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

TY - GEN

T1 - Graph Transformation for Concurrency and Verification - Preface

AU - Rensink, Arend

AU - Heckel, Reiko

AU - König, Barbara

N1 - 10.1016/j.entcs.2007.04.012

PY - 2007/7

Y1 - 2007/7

KW - EWI-10406

KW - METIS-241749

KW - IR-61779

U2 - 10.1016/j.entcs.2007.04.012

DO - 10.1016/j.entcs.2007.04.012

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 1

EP - 2

BT - Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC)

PB - Elsevier

CY - Amsterdam

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

Y2 - 31 August 2006 through 31 August 2006

ER -