LTL Model Checking for Recursive Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Geng-Dian Huang, Lin-Zan Cai, Farn Wang. LTL Model Checking for Recursive Programs. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 382-396, Springer, 2009. [doi]

This author has not been identified. Look up 'Geng-Dian Huang' in GoogleThis author has not been identified. Look up 'Lin-Zan Cai' in GoogleThis author has not been identified. Look up 'Farn Wang' in Google

runs on WebDSL