By the same authors

Checking Graph-Transformation Systems for Confluence

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review



Publication details

Title of host publicationManipulation of Graphs, Algebras and Pictures
DatePublished - 2010
Number of pages16
PublisherTechnische Universität Berlin
EditorsFrank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
Original languageEnglish

Publication series

NameElectronic Communications of the EASST

Discover related content

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

View graph of relations