Data-Structures for the Verification of Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse. Data-Structures for the Verification of Timed Automata. In Oded Maler, editor, Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings. Volume 1201 of Lecture Notes in Computer Science, pages 346-360, Springer, 1997.

This author has not been identified. Look up 'Eugene Asarin' in GoogleThis author has not been identified. Look up 'Marius Bozga' in GoogleThis author has not been identified. Look up 'Alain Kerbrat' in GoogleThis author has not been identified. Look up 'Oded Maler' in GoogleIdentified as Amir Pnueli This author has not been identified. Look up 'Anne Rasse' in Google

runs on WebDSL