%0 Conference Paper %1 conf/fmcad/DurejaBKWR20 %A Dureja, Rohit %A Baumgartner, Jason %A Kanzelman, Robert %A Williams, Mark %A Rozier, Kristin Y. %B FMCAD %D 2020 %I IEEE %K dblp %P 16-25 %T Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2020.html#DurejaBKWR20 %@ 978-3-85448-042-6

@inproceedings{conf/fmcad/DurejaBKWR20, added-at = {2021-01-14T00:00:00.000+0100}, author = {Dureja, Rohit and Baumgartner, Jason and Kanzelman, Robert and Williams, Mark and Rozier, Kristin Y.}, biburl = {https://www.bibsonomy.org/bibtex/2f9c97a0da6b38f05b2fc3c30986c205e/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2020}, ee = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_8}, interhash = {8278fa3794d2c661e773264f4f5cdc3d}, intrahash = {f9c97a0da6b38f05b2fc3c30986c205e}, isbn = {978-3-85448-042-6}, keywords = {dblp}, pages = {16-25}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:38.000+0200}, title = {Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2020.html#DurejaBKWR20}, year = 2020 }