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 = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
               2014, 25.-26. Februar 2014 in Kiel, Deutschland.},
  pages     = {151--170},
  year      = {2014},
  crossref  = {DBLP:conf/se/2014w},
  url       = {http://ceur-ws.org/Vol-1129/paper47.pdf},
  timestamp = {Sun, 09 Jun 2019 18:41:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/HanusPT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2014w,
  editor    = {Klaus Schmid and
               Wolfgang B{\"{o}}hm and
               Robert Heinrich and
               Andrea Herrmann and
               Anne Hoffmann and
               Dieter Landes and
               Marco Konersmann and
               Thomas Ruhroth and
               Oliver Sander and
               Volker Stolz and
               Baltasar Tranc{\'{o}}n y Widemann and
               R{\"{u}}diger Wei{\ss}bach},
  title     = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
               2014, 25.-26. Februar 2014 in Kiel, Deutschland},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1129},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1129},
  urn       = {urn:nbn:de:0074-1129-5},
  timestamp = {Sun, 09 Jun 2019 18:41:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics