Nested Timed Automata with Frozen Clocks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guoqiang Li 0001, Mizuhito Ogawa, Shoji Yuen. Nested Timed Automata with Frozen Clocks. In Sriram Sankaranarayanan, Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Volume 9268 of Lecture Notes in Computer Science, pages 189-205, Springer, 2015. [doi]

This author has not been identified. Look up 'Guoqiang Li 0001' in GoogleThis author has not been identified. Look up 'Mizuhito Ogawa' in GoogleThis author has not been identified. Look up 'Shoji Yuen' in Google

runs on WebDSL