%0 Journal Article %1 journals/constraints/PelleauTB14 %A Pelleau, Marie %A Truchet, Charlotte %A Benhamou, Frédéric %D 2014 %J Constraints An Int. J. %K dblp %N 3 %P 309-337 %T The octagon abstract domain for continuous constraints. %U http://dblp.uni-trier.de/db/journals/constraints/constraints19.html#PelleauTB14 %V 19

@article{journals/constraints/PelleauTB14, added-at = {2020-03-13T00:00:00.000+0100}, author = {Pelleau, Marie and Truchet, Charlotte and Benhamou, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/245ec561a5b1ea8e008890c8de5f556d6/dblp}, ee = {https://doi.org/10.1007/s10601-014-9162-x}, interhash = {f0c2ec6a00d16e6d620f93e57bc5f4bd}, intrahash = {45ec561a5b1ea8e008890c8de5f556d6}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 3, pages = {309-337}, timestamp = {2020-03-14T12:04:17.000+0100}, title = {The octagon abstract domain for continuous constraints.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints19.html#PelleauTB14}, volume = 19, year = 2014 }