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
2005Buchaufsatz/Kapitel in Sammelwerk
Informatik
Titel:
Graph Grammar Verification through Abstraction
Autor*in:
Baldan, Paolo;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Rensink, Arend