BibTeX record conf/se/HanusPT14

download as .bib file

@inproceedings{DBLP:conf/se/HanusPT14,
  author    = {Michael Hanus and
               Bj{\"{o}}rn Peem{\"{o}}ller and
               Jan Rasmus Tikovsky},
  title     = {Integration of Finite Domain Constraints in KiCS2},
  booktitle = {Software Engineering (Workshops)},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1129},
  pages     = {151--170},
  publisher = {CEUR-WS.org},
  year      = {2014}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics