Ahmed Bouajjani, Rachid Echahed, Riadh Robbana. On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems II. Volume 999 of Lecture Notes in Computer Science, pages 64-85, Springer, 1994.
Abstract is missing.