Precise widening operators for convex polyhedra
Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea ZaffanellaVolume:
58
Year:
2005
Language:
english
Pages:
29
DOI:
10.1016/j.scico.2005.02.003
File:
PDF, 835 KB
english, 2005