Preface

Reiko Heckel; Barbara König

doi:10.1016/j.entcs.2005.03.028

Preface

Reiko Heckel, Barbara König

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

76 Downloads (Pure)

Original language	Undefined
Title of host publication	Graph Transformation for Verification and Concurrency
Editors	Arend Rensink, R. Heckel, B. König
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	1-5
Number of pages	5
DOIs	https://doi.org/10.1016/j.entcs.2005.03.028
Publication status	Published - May 2006
Event	Graph Transformation for Verification and Concurrency, San Fransisco, USA: Graph Transformation for Verification and Concurrency - Amsterdam Duration: 1 May 2006 → …

Publication series

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

Conference

Conference	Graph Transformation for Verification and Concurrency, San Fransisco, USA
City	Amsterdam
Period	1/05/06 → …

Keywords

METIS-237996
EWI-1931
IR-65585

Access to Document

10.1016/j.entcs.2005.03.028

Cite this

@inproceedings{d71f902cf0074766b673c1ec5d06b398,

title = "Preface",

keywords = "METIS-237996, EWI-1931, IR-65585",

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

note = "10.1016/j.entcs.2005.03.028 ; Graph Transformation for Verification and Concurrency, San Fransisco, USA ; Conference date: 01-05-2006",

year = "2006",

month = may,

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

language = "Undefined",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "2",

pages = "1--5",

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

booktitle = "Graph Transformation for Verification and Concurrency",

}

Heckel, R & König, B 2006, Preface. in A Rensink, R Heckel & B König (eds), Graph Transformation for Verification and Concurrency., 10.1016/j.entcs.2005.03.028, Electronic Notes in Theoretical Computer Science, no. 2, vol. 154, Elsevier, Amsterdam, pp. 1-5, Graph Transformation for Verification and Concurrency, San Fransisco, USA, Amsterdam, 1/05/06. https://doi.org/10.1016/j.entcs.2005.03.028

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

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

TY - GEN

T1 - Preface

AU - Heckel, Reiko

AU - König, Barbara

N1 - 10.1016/j.entcs.2005.03.028

PY - 2006/5

Y1 - 2006/5

KW - METIS-237996

KW - EWI-1931

KW - IR-65585

U2 - 10.1016/j.entcs.2005.03.028

DO - 10.1016/j.entcs.2005.03.028

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 1

EP - 5

BT - Graph Transformation for Verification and Concurrency

A2 - Rensink, Arend

A2 - Heckel, R.

A2 - König, B.

PB - Elsevier

CY - Amsterdam

T2 - Graph Transformation for Verification and Concurrency, San Fransisco, USA

Y2 - 1 May 2006

ER -