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