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.
No references recorded for this publication.
No citations of this publication recorded.