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
    EventWorkshop on Graph Transformation for Concurrency and Verification, GT-VC - Bonn, Germany
    Duration: 31 Aug 200631 Aug 2006

    Publication series

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

    Workshop

    WorkshopWorkshop on Graph Transformation for Concurrency and Verification, GT-VC
    Period31/08/0631/08/06
    Other31 Aug 2006

    Keywords

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

    Cite this