Summary 2: Graph Grammar Verification through Abstraction.

Published in: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems (2004)