Model Checking Timed Systems with Urgencies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao. Model Checking Timed Systems with Urgencies. In Susanne Graf, Wenhui Zhang, editors, Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Volume 4218 of Lecture Notes in Computer Science, pages 67-81, Springer, 2006. [doi]

This author has not been identified. Look up 'Pao-Ann Hsiung' in GoogleThis author has not been identified. Look up 'Shang-Wei Lin' in GoogleThis author has not been identified. Look up 'Yean-Ru Chen' in GoogleThis author has not been identified. Look up 'Chun-Hsian Huang' in GoogleThis author has not been identified. Look up 'Jia-Jen Yeh' in GoogleThis author has not been identified. Look up 'Hong-Yu Sun' in GoogleThis author has not been identified. Look up 'Chao-Sheng Lin' in GoogleThis author has not been identified. Look up 'Hsiao-Win Liao' in Google

runs on WebDSL