[Back]

@article{TUW-110121,
    author = {Belanovic, Pavle and Knerr, Bastian and Holzer, Martin and Rupp, Markus},
    title = {A Fully Automated Environment for Verification of Virtual Prototypes},
    journal = {EURASIP Journal on Applied Signal Processing},
    year = {2006},
    volume = {2006},
    pages = {1--12},
    url = {http://publik.tuwien.ac.at/files/pub-et_11034.pdf}
}