%0 Conference Paper %1 conf/iccd/AyewahKS05 %A Ayewah, Nathaniel %A Kikkeri, Nikhil %A Seidel, Peter-Michael %B ICCD %D 2005 %I IEEE Computer Society %K dblp %P 603-608 %T Challenges in the Formal Verification of Complete State-of-the-Art Processors. %U http://dblp.uni-trier.de/db/conf/iccd/iccd2005.html#AyewahKS05 %@ 0-7695-2451-6

@inproceedings{conf/iccd/AyewahKS05, added-at = {2014-09-22T00:00:00.000+0200}, author = {Ayewah, Nathaniel and Kikkeri, Nikhil and Seidel, Peter-Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/255dc8aa3d0ac12622bbbbfa28563e05b/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.37}, interhash = {1dc900cd633e14fc5044a7dd2be6d949}, intrahash = {55dc8aa3d0ac12622bbbbfa28563e05b}, isbn = {0-7695-2451-6}, keywords = {dblp}, pages = {603-608}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T15:08:20.000+0100}, title = {Challenges in the Formal Verification of Complete State-of-the-Art Processors.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2005.html#AyewahKS05}, year = 2005 }