@inproceedings{PH07,
title = { An abstract domain extending {D}ifference-{B}ound {M}atrices with disequality constraints },
author = {P\'eron, Mathias and Halbwachs, Nicolas},
month = {jan},
year = {2007},
booktitle = {8th International Conference on Verification, Model-checking, and Abstract Intepretation, VMCAI'07},
address = {Nice, France},
team = {SYNC},
}
