Graph Transformation for Concurrency and Verification - Preface

Barbara König, Reiko Heckel

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Original languageUndefined
Title of host publicationGraph Transformation for Verification and Concurrency
EditorsB. König, Arend Rensink, R. Heckel
Place of PublicationAmsterdam
PublisherElsevier
Pages1-2
Number of pages2
DOIs
Publication statusPublished - May 2008

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier
Number1
Volume213
ISSN (Print)1571-0661
ISSN (Electronic)1571-0661

Keywords

  • IR-62310
  • EWI-12758
  • METIS-254872

Cite this

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 (pp. 1-2). [10.1016/j.entcs.2008.04.070] (Electronic Notes in Theoretical Computer Science; Vol. 213, No. 1). Amsterdam: Elsevier. https://doi.org/10.1016/j.entcs.2008.04.070
König, Barbara ; Heckel, Reiko. / Graph Transformation for Concurrency and Verification - Preface. Graph Transformation for Verification and Concurrency. editor / B. König ; Arend Rensink ; R. Heckel. Amsterdam : Elsevier, 2008. pp. 1-2 (Electronic Notes in Theoretical Computer Science; 1).
@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",
year = "2008",
month = "5",
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. 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 proceedingConference contributionAcademic

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

ER -

König B, Heckel R. Graph Transformation for Concurrency and Verification - Preface. In König B, Rensink A, Heckel R, editors, Graph Transformation for Verification and Concurrency. Amsterdam: Elsevier. 2008. p. 1-2. 10.1016/j.entcs.2008.04.070. (Electronic Notes in Theoretical Computer Science; 1). https://doi.org/10.1016/j.entcs.2008.04.070