@inproceedings{TUW-109083, author = {Belanovic, Pavle and Holzer, Martin and Knerr, Bastian and Rupp, Markus}, title = {Automated Verification Pattern Refinement for Virtual Prototypes}, booktitle = {Conference of Design of Circuits and Integrated Systems}, year = {2005}, numpages = {6}, url = {http://publik.tuwien.ac.at/files/pub-et_9931.pdf}, note = {talk: Conference on Design of Circuits and Integrated Systems DCIS, Lissabon, Portugal; 2005-11-23 -- 2005-11-25} }