Verifying Linear Duration Constraints of Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pham Hong Thai, Dang Van Hung. Verifying Linear Duration Constraints of Timed Automata. In Zhiming Liu, Keijiro Araki, editors, Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Volume 3407 of Lecture Notes in Computer Science, pages 295-309, Springer, 2004. [doi]

This author has not been identified. Look up 'Pham Hong Thai' in GoogleThis author has not been identified. Look up 'Dang Van Hung' in Google

runs on WebDSL