On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures
['Ahmed Bouajjani', 'Rachid Echahed', 'Riadh Robbana']
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures