Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mitsuharu Yamamoto' in GoogleThis author has not been identified. Look up 'Yoshinori Tanabe' in GoogleThis author has not been identified. Look up 'Koichi Takahashi' in GoogleThis author has not been identified. Look up 'Masami Hagiya' in Google

runs on WebDSL