Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya. Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. In Bertrand Meyer, Jim Woodcock, editors, Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Volume 4171 of Lecture Notes in Computer Science, pages 518-527, Springer, 2005. [doi]

Abstract

Abstract is missing.