BibTeX record conf/fmcad/GurfinkelI15

download as .bib file

@inproceedings{DBLP:conf/fmcad/GurfinkelI15,
  author    = {Arie Gurfinkel and
               Alexander Ivrii},
  title     = {Pushing to the Top},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
               USA, September 27-30, 2015},
  pages     = {65--72},
  year      = {2015},
  crossref  = {DBLP:conf/fmcad/2015},
  timestamp = {Thu, 07 Jan 2016 15:57:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/GurfinkelI15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2015,
  editor    = {Roope Kaivola and
               Thomas Wahl},
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
               USA, September 27-30, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  isbn      = {978-0-9835678-5-1},
  timestamp = {Thu, 07 Jan 2016 15:56:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics