%0 Conference Paper %1 conf/dac/Schubert03 %A Schubert, Thomas %B DAC %D 2003 %I ACM %K dblp %P 1-6 %T High level formal verification of next-generation microprocessors. %U http://dblp.uni-trier.de/db/conf/dac/dac2003.html#Schubert03 %@ 1-58113-688-9

@inproceedings{conf/dac/Schubert03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Schubert, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2849cad3859a0e3cb13f5808642940758/dblp}, booktitle = {DAC}, crossref = {conf/dac/2003}, ee = {https://doi.org/10.1145/775832.775834}, interhash = {33efffd676cc935bc241806e2c6fa54f}, intrahash = {849cad3859a0e3cb13f5808642940758}, isbn = {1-58113-688-9}, keywords = {dblp}, pages = {1-6}, publisher = {ACM}, timestamp = {2019-09-27T20:18:44.000+0200}, title = {High level formal verification of next-generation microprocessors.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2003.html#Schubert03}, year = 2003 }