[Back]

@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}
}