BibTeX record conf/tacas/BouquetLP02

download as .bib file

@inproceedings{DBLP:conf/tacas/BouquetLP02,
  author    = {Fabrice Bouquet and
               Bruno Legeard and
               Fabien Peureux},
  title     = {{CLPS-B} - {A} Constraint Solver for {B}},
  booktitle = {{TACAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2280},
  pages     = {188--204},
  publisher = {Springer},
  year      = {2002}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics