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