Symbolic Unfoldings for Networks of Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Franck Cassez, Thomas Chatain, Claude Jard. Symbolic Unfoldings for Networks of Timed Automata. 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 307-321, Springer, 2006. [doi]

This author has not been identified. Look up 'Franck Cassez' in GoogleThis author has not been identified. Look up 'Thomas Chatain' in GoogleThis author has not been identified. Look up 'Claude Jard' in Google

runs on WebDSL