On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures

@inproceedings{Bouajjani1994OnTA,
  title={On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures},
  author={Ahmed Bouajjani and Rachid Echahed and Riadh Robbana},
  booktitle={Hybrid Systems},
  year={1994}
}
Highly Cited
This paper has 85 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
47 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…