Baldan, Paolo; König, Barbara; Rensink, Arend:
Graph Grammar Verification through Abstraction
In: Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. - (Dagstuhl Seminar Proceedings ; 04241) - 2005
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Graph Grammar Verification through Abstraction
Autor(in):
Baldan, Paolo; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Rensink, Arend
Erscheinungsjahr
2005
Erschienen in:
Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. - (Dagstuhl Seminar Proceedings ; 04241) - 2005
WWW URL
WWW URL