Bibliographic reference:
\bibitem{ChenEtAl10-VMCAI}
L.~Chen, A.~Min\'e, J.~Wang, \& P.~Cousot.
\newblock An Abstract Domain to Discover Interval Linear Equalities.
\newblock In \emph{11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10)}, Madrid, Spain, LNCS ????, Springer, 2010, pp. ???-???, to appear.
@InProceedings{ChenEtAl10-VMCAI,
author = {L.~Chen and A.~Min\'e and J.~Wang and P.~Cousot},
title = {An Abstract Domain to Discover Interval Linear Equalities},
editor = {???},
pages = {???--???},
booktitle = {Proceedings of the Eleventh International Conference on
Verification, Model Checking and Abstract Interpretation
(VMCAI 2010)},
address = {Madrid, Spain},
publisher = {LNCS ????, Springer, Berlin},
month = {January 17--19},
year = 2010,
}