%0 Conference Paper %1 conf/fmcad/VizelGS12 %A Vizel, Yakir %A Grumberg, Orna %A Shoham, Sharon %B FMCAD %D 2012 %E Cabodi, Gianpiero %E Singh, Satnam %I IEEE %K dblp %P 173-181 %T Lazy abstraction and SAT-based reachability in hardware model checking. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#VizelGS12 %@ 978-1-4673-4832-4

@inproceedings{conf/fmcad/VizelGS12, added-at = {2021-08-09T00:00:00.000+0200}, author = {Vizel, Yakir and Grumberg, Orna and Shoham, Sharon}, biburl = {https://www.bibsonomy.org/bibtex/2bbc0cfda828cf68edb82eab7ab4cbebc/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2012}, editor = {Cabodi, Gianpiero and Singh, Satnam}, ee = {https://ieeexplore.ieee.org/document/6462570/}, interhash = {5ab33be8ff8e3434d7968b6cec8b996a}, intrahash = {bbc0cfda828cf68edb82eab7ab4cbebc}, isbn = {978-1-4673-4832-4}, keywords = {dblp}, pages = {173-181}, publisher = {IEEE}, timestamp = {2024-04-10T16:53:49.000+0200}, title = {Lazy abstraction and SAT-based reachability in hardware model checking.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#VizelGS12}, year = 2012 }