Author:
Boigelot Bernard,Mainz Isabelle
Publisher
Springer International Publishing
Reference23 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Avis, D.: A revised implementation of the reverse search vertex enumeration algorithm. Polytopes – Combinatorics and Computation, pp. 177–198. Birkhäuser, Basel (2000)
3. Bachem, A., Grötschel, M.: Characterizations of adjacency of faces of polyhedra. Mathematical Programming at Oberwolfach, pp. 1–22. Springer, Berlin (1981)
4. Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1–2), 3–21 (2008)
5. Bagnara, R., Hill, P.M., Zaffanella, E.: Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theor. Comput. Sci. 410(46), 4672–4691 (2009)