From MITL to Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oded Maler, Dejan Nickovic, Amir Pnueli. From MITL to Timed Automata. In Eugene Asarin, Patricia Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Volume 4202 of Lecture Notes in Computer Science, pages 274-289, Springer, 2006. [doi]

This author has not been identified. Look up 'Oded Maler' in GoogleThis author has not been identified. Look up 'Dejan Nickovic' in GoogleIdentified as Amir Pnueli

runs on WebDSL