Analysis of Slope-Parametric Hybrid Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu. Analysis of Slope-Parametric Hybrid 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 75-80, Springer, 1997.

This author has not been identified. Look up 'Frédéric Boniol' in GoogleThis author has not been identified. Look up 'Augusto Burgueño' in GoogleThis author has not been identified. Look up 'Olivier Roux' in GoogleIdentified as Vlad Rusu

runs on WebDSL