Partial Order Path Technique for Checking Parallel Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng. Partial Order Path Technique for Checking Parallel Timed Automata. In Werner Damm, Ernst-Rüdiger Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings. Volume 2469 of Lecture Notes in Computer Science, pages 417-432, Springer, 2002. [doi]

This author has not been identified. Look up 'Jianhua Zhao' in GoogleThis author has not been identified. Look up 'He Xu' in GoogleThis author has not been identified. Look up 'Xuandong Li' in GoogleThis author has not been identified. Look up 'Tao Zheng' in GoogleThis author has not been identified. Look up 'Guoliang Zheng' in Google

runs on WebDSL