BibTeX record conf/fpl/PatelCFM19

download as .bib file

@inproceedings{DBLP:conf/fpl/PatelCFM19,
  author    = {Mrunal Patel and
               Shenghsun Cho and
               Michael Ferdman and
               Peter Milder},
  title     = {Runtime-Programmable Pipelines for Model Checkers on FPGAs},
  booktitle = {29th International Conference on Field Programmable Logic and Applications,
               {FPL} 2019, Barcelona, Spain, September 8-12, 2019},
  pages     = {51--58},
  year      = {2019},
  crossref  = {DBLP:conf/fpl/2019},
  url       = {https://doi.org/10.1109/FPL.2019.00018},
  doi       = {10.1109/FPL.2019.00018},
  timestamp = {Thu, 14 Nov 2019 09:41:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/PatelCFM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpl/2019,
  editor    = {Ioannis Sourdis and
               Christos{-}Savvas Bouganis and
               Carlos {\'{A}}lvarez and
               Leonel Toledo and
               Pedro Valero{-}Lara and
               Xavier Martorell},
  title     = {29th International Conference on Field Programmable Logic and Applications,
               {FPL} 2019, Barcelona, Spain, September 8-12, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8890609/proceeding},
  isbn      = {978-1-7281-4884-7},
  timestamp = {Thu, 14 Nov 2019 09:41:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics