Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. - Joshi, Salil; König, Barbara (Computer Aided Verification (9783540705437), 2008)