By the same authors

Verifying Monadic Second-Order Properties of Graph Programs

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

Author(s)

Department/unit(s)

Publication details

Title of host publicationProceedings 7th International Conference on Graph Transformation (ICGT 2014)
DatePublished - 2014
Pages33-48
Number of pages16
PublisherSpringer
EditorsHolger Giese, Barbara Koenig
Original languageEnglish
ISBN (Electronic)978-3-319-09108-2
ISBN (Print)978-3-319-09107-5

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag
Volume8571

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations