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.