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 / Fach: Informatik

Dieser Eintrag ist freigegeben.