%0 Conference Paper %1 conf/dac/NelsonJB97 %A Nelson, Kyle L. %A Jain, Alok %A Bryant, Randal E. %B DAC %D 1997 %E Yoffa, Ellen J. %E Micheli, Giovanni De %E Rabaey, Jan M. %I ACM Press %K dblp %P 161-166 %T Formal Verification of a Superscalar Execution Unit. %U http://dblp.uni-trier.de/db/conf/dac/dac97.html#NelsonJB97 %@ 0-89791-920-3

@inproceedings{conf/dac/NelsonJB97, added-at = {2017-03-16T00:00:00.000+0100}, author = {Nelson, Kyle L. and Jain, Alok and Bryant, Randal E.}, biburl = {https://www.bibsonomy.org/bibtex/2df09b8b8862ff79053e1bbbec2c226e9/dblp}, booktitle = {DAC}, crossref = {conf/dac/1997}, editor = {Yoffa, Ellen J. and Micheli, Giovanni De and Rabaey, Jan M.}, ee = {http://doi.acm.org/10.1145/266021.266055}, interhash = {3bcf46add96ac734fac2bbef9cd604b3}, intrahash = {df09b8b8862ff79053e1bbbec2c226e9}, isbn = {0-89791-920-3}, keywords = {dblp}, pages = {161-166}, publisher = {ACM Press}, timestamp = {2017-03-17T11:40:13.000+0100}, title = {Formal Verification of a Superscalar Execution Unit.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac97.html#NelsonJB97}, year = 1997 }