Paolo Baldan, Barbara König, Arend Rensink. Summary 2: Graph Grammar Verification through Abstraction. In Barbara König, Ugo Montanari, Philippa Gardner, editors, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004. Volume 04241 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, 2004. [doi]
Abstract is missing.