Bernard Boigelot, Louis Bronne, Stéphane Rassart. An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract). In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 167-178, Springer, 1997.
Abstract is missing.