Graph Transformation for Concurrency and Verification - Preface

Arend Rensink, Reiko Heckel, Barbara König

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

Original languageUndefined
Title of host publicationProceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC)
Place of PublicationAmsterdam
PublisherElsevier
Pages1-2
Number of pages2
DOIs
Publication statusPublished - Jul 2007

Publication series

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

Keywords

  • EWI-10406
  • METIS-241749
  • IR-61779

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). [10.1016/j.entcs.2007.04.012] (Electronic Notes in Theoretical Computer Science; Vol. 175, No. 1). Amsterdam: Elsevier. https://doi.org/10.1016/j.entcs.2007.04.012
Rensink, Arend ; Heckel, Reiko ; König, Barbara. / Graph Transformation for Concurrency and Verification - Preface. Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC). Amsterdam : Elsevier, 2007. pp. 1-2 (Electronic Notes in Theoretical Computer Science; 1).
@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",
year = "2007",
month = "7",
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. 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 proceedingConference contributionAcademic

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

ER -

Rensink A, Heckel R, König B. Graph Transformation for Concurrency and Verification - Preface. In 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; 1). https://doi.org/10.1016/j.entcs.2007.04.012