Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente. A Temporal Graph Logic for Verification of Graph Transformation Systems. In José Luiz Fiadeiro, Pierre Yves Schobbens, editors, Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Volume 4409 of Lecture Notes in Computer Science, pages 1-20, Springer, 2006. [doi]
Abstract is missing.