A Brief Introduction to ::::THOTL:::: - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. A Brief Introduction to ::::THOTL::::. In Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura, editors, Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Volume 4762 of Lecture Notes in Computer Science, pages 501-510, Springer, 2007. [doi]

This author has not been identified. Look up 'Mercedes G. Merayo' in GoogleThis author has not been identified. Look up 'Manuel Núñez' in GoogleThis author has not been identified. Look up 'Ismael Rodríguez' in Google

runs on WebDSL