BibTeX record conf/cade/AbrahamA0BBCDEF17

download as .bib file

@inproceedings{DBLP:conf/cade/AbrahamA0BBCDEF17,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Vijay Ganesh and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler},
  title     = {SC-square: when Satisfiability Checking and Symbolic Computation join
               forces},
  booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  pages     = {6--10},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017arcade},
  url       = {http://www.easychair.org/publications/paper/WR2g},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/AbrahamA0BBCDEF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2017arcade,
  editor    = {Giles Reger and
               Dmitriy Traytel},
  title     = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  series    = {EPiC Series in Computing},
  volume    = {51},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCADE\_2017},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2017arcade},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier