Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fpl/ChoFM18
%A Cho, Shenghsun
%A Ferdman, Michael
%A Milder, Peter A.
%B FPL
%D 2018
%I IEEE Computer Society
%K dblp
%P 435-442
%T FPGASwarm: High Throughput Model Checking on FPGAs.
%U http://dblp.uni-trier.de/db/conf/fpl/fpl2018.html#ChoFM18
%@ 978-1-5386-8517-4
@inproceedings{conf/fpl/ChoFM18,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Cho, Shenghsun and Ferdman, Michael and Milder, Peter A.},
biburl = {https://www.bibsonomy.org/bibtex/27c31e40092f8835f8ad62d751a62b1b3/dblp},
booktitle = {FPL},
crossref = {conf/fpl/2018},
ee = {https://doi.ieeecomputersociety.org/10.1109/FPL.2018.00080},
interhash = {7b4e8fb02ecf7ced9abed2a12a34a59b},
intrahash = {7c31e40092f8835f8ad62d751a62b1b3},
isbn = {978-1-5386-8517-4},
keywords = {dblp},
pages = {435-442},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T14:51:47.000+0200},
title = {FPGASwarm: High Throughput Model Checking on FPGAs.},
url = {http://dblp.uni-trier.de/db/conf/fpl/fpl2018.html#ChoFM18},
year = 2018
}