BibTeX record conf/fpl/PatelCFM19

• > Home > conf/fpl/PatelCFM19

@inproceedings{DBLP:conf/fpl/PatelCFM19,
  author       = {Mrunal Patel and
                  Shenghsun Cho and
                  Michael Ferdman and
                  Peter A. Milder},
  editor       = {Ioannis Sourdis and
                  Christos{-}Savvas Bouganis and
                  Carlos {\'{A}}lvarez and
                  Leonel Antonio Toledo D{\'{\i}}az and
                  Pedro Valero{-}Lara and
                  Xavier Martorell},
  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},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FPL.2019.00018},
  doi          = {10.1109/FPL.2019.00018},
  timestamp    = {Sat, 05 Sep 2020 18:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/PatelCFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}