@inproceedings{simon06widening, author = {A. Simon and A. King}, title = {Widening {P}olyhedra with {L}andmarks}, booktitle = {Asian Symposium on Programming Languages and Systems}, editor = {N. Kobayashi}, month = {November}, year = 2006, pages = {166--182}, series = {LNCS}, volume = {4279}, publisher = {Springer}, doi = {10.1007/11924661_11}, address = {Sydney, Australia}, }