Preface

Reiko Heckel, Barbara König

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

    20 Downloads (Pure)
    Original languageUndefined
    Title of host publicationGraph Transformation for Verification and Concurrency
    EditorsArend Rensink, R. Heckel, B. König
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages1-5
    Number of pages5
    DOIs
    Publication statusPublished - May 2006
    EventGraph Transformation for Verification and Concurrency, San Fransisco, USA: Graph Transformation for Verification and Concurrency - Amsterdam
    Duration: 1 May 2006 → …

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Number2
    Volume154
    ISSN (Print)1571-0661
    ISSN (Electronic)1571-0661

    Conference

    ConferenceGraph Transformation for Verification and Concurrency, San Fransisco, USA
    CityAmsterdam
    Period1/05/06 → …

    Keywords

    • METIS-237996
    • EWI-1931
    • IR-65585

    Cite this