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
2005book article/chapter in collection
Computer Science
Title:
Graph Grammar Verification through Abstraction
Author:
Baldan, Paolo;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Other
connected with university
;Rensink, Arend
WWW URL:
http://drops.dagstuhl.de/portals/04241/
WWW URL:
http://www.ti.inf.uni-due.de/publications/koenig/dagstuhl-summary2.pdf
Appears in
Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. - (Dagstuhl Seminar Proceedings ; 04241)
Year of publication:
2005