%0 Conference Paper %1 conf/dac/ClarkeKZ96 %A Clarke, Edmund M. %A Khaira, Manpreet %A Zhao, Xudong %B DAC %D 1996 %E Pennino, Thomas %E Yoffa, Ellen J. %I ACM Press %K dblp %P 645-648 %T Word Level Model Checking - Avoiding the Pentium FDIV Error. %U http://dblp.uni-trier.de/db/conf/dac/dac96.html#ClarkeKZ96 %@ 0-89791-779-0

@inproceedings{conf/dac/ClarkeKZ96, added-at = {2020-11-17T00:00:00.000+0100}, author = {Clarke, Edmund M. and Khaira, Manpreet and Zhao, Xudong}, biburl = {https://www.bibsonomy.org/bibtex/20fe1ef0addff775479cd3dbff64e9912/dblp}, booktitle = {DAC}, crossref = {conf/dac/1996}, editor = {Pennino, Thomas and Yoffa, Ellen J.}, ee = {https://doi.org/10.1145/240518.240640}, interhash = {838f2fbb8b2e47f44d354e7c89653a60}, intrahash = {0fe1ef0addff775479cd3dbff64e9912}, isbn = {0-89791-779-0}, keywords = {dblp}, pages = {645-648}, publisher = {ACM Press}, timestamp = {2020-11-19T11:40:24.000+0100}, title = {Word Level Model Checking - Avoiding the Pentium FDIV Error.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac96.html#ClarkeKZ96}, year = 1996 }