%0 Journal Article %1 journals/trets/ChoPFM21 %A Cho, Shenghsun %A Patel, Mrunal %A Ferdman, Michael %A Milder, Peter A. %D 2021 %J ACM Trans. Reconfigurable Technol. Syst. %K dblp %N 2 %P 8:1-8:18 %T Practical Model Checking on FPGAs. %U http://dblp.uni-trier.de/db/journals/trets/trets14.html#ChoPFM21 %V 14

@article{journals/trets/ChoPFM21, added-at = {2021-10-14T00:00:00.000+0200}, author = {Cho, Shenghsun and Patel, Mrunal and Ferdman, Michael and Milder, Peter A.}, biburl = {https://www.bibsonomy.org/bibtex/2b9767ed231c11d932c01d176e905b2ef/dblp}, ee = {https://doi.org/10.1145/3448272}, interhash = {294eb56af3a0243f1c1f44016b80b891}, intrahash = {b9767ed231c11d932c01d176e905b2ef}, journal = {ACM Trans. Reconfigurable Technol. Syst.}, keywords = {dblp}, number = 2, pages = {8:1-8:18}, timestamp = {2024-04-08T11:37:50.000+0200}, title = {Practical Model Checking on FPGAs.}, url = {http://dblp.uni-trier.de/db/journals/trets/trets14.html#ChoPFM21}, volume = 14, year = 2021 }