Symbolic Model Checking of Finite Precision Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rongjie Yan, Guangyuan Li, Zhisong Tang. Symbolic Model Checking of Finite Precision Timed Automata. In Dang Van Hung, Martin Wirsing, editors, Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Volume 3722 of Lecture Notes in Computer Science, pages 272-287, Springer, 2005. [doi]

This author has not been identified. Look up 'Rongjie Yan' in GoogleThis author has not been identified. Look up 'Guangyuan Li' in GoogleThis author has not been identified. Look up 'Zhisong Tang' in Google

runs on WebDSL