%0 Conference Paper %1 conf/hldvt/Baumgartner06 %A Baumgartner, Jason %B HLDVT %D 2006 %I IEEE Computer Society %K dblp %P 152 %T Semi-Formal Verification at IBM. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2006.html#Baumgartner06 %@ 1-4244-0679-X

@inproceedings{conf/hldvt/Baumgartner06, added-at = {2015-05-12T00:00:00.000+0200}, author = {Baumgartner, Jason}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ecb166d8b83d89569f4ef6159e7ce928/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2006.319981}, interhash = {7da910511bbfbe9267d53e751ed9890a}, intrahash = {ecb166d8b83d89569f4ef6159e7ce928}, isbn = {1-4244-0679-X}, keywords = {dblp}, pages = 152, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:37:51.000+0100}, title = {Semi-Formal Verification at IBM.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2006.html#Baumgartner06}, year = 2006 }