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