Reducing Quasi-Equal Clocks in Networks of Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Herrera, Bernd Westphal, Sergio Feo Arenis, Marco Muñiz, Andreas Podelski. Reducing Quasi-Equal Clocks in Networks of Timed Automata. In Marcin Jurdzinski, Dejan Nickovic, editors, Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Volume 7595 of Lecture Notes in Computer Science, pages 155-170, Springer, 2012. [doi]

This author has not been identified. Look up 'Christian Herrera' in GoogleThis author has not been identified. Look up 'Bernd Westphal' in GoogleThis author has not been identified. Look up 'Sergio Feo Arenis' in GoogleThis author has not been identified. Look up 'Marco Muñiz' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in Google

runs on WebDSL