TruchetPB10'

@inproceedings{DBLP:conf/synasc/TruchetPB10,
  author    = {Charlotte Truchet and
               Marie Pelleau and
               Fr{\'e}d{\'e}ric Benhamou},
  title     = {Abstract Domains for Constraint Programming, with the Example
               of Octagons},
  booktitle = {SYNASC},
  year      = {2010},
  pages     = {72-79},
  ee        = {http://dx.doi.org/10.1109/SYNASC.2010.69},
  crossref  = {DBLP:conf/synasc/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/synasc/2010,
  editor    = {Tetsuo Ida and
               Viorel Negru and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {12th International Symposium on Symbolic and Numeric Algorithms
               for Scientific Computing, SYNASC 2010, Timisoara, Romania,
               23-26 September 2010},
  booktitle = {SYNASC},
  publisher = {IEEE Computer Society},
  year      = {2010},
  isbn      = {978-0-7695-4324-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}