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 Sammelwerk2005Informatik
Titel:
Graph Grammar Verification through Abstraction
Autor(in):
Baldan, Paolo; König, BarbaraLSF; Rensink, Arend
Erscheinungsjahr
2005
WWW URL
WWW URL