Bagnara-Hill-Zaffanella[2008]: The Parma Polyhedra Library

Class:
Publication
Identifier:
Located at: doi:/10.1016/j.scico.2007.08.001