[Back]

@inproceedings{TUW-110556,
    author = {Holzer, Martin and Knerr, Bastian and Rupp, Markus},
    title = {Structural Verification in Minimal Time},
    booktitle = {International Symposium on System-on-Chip},
    year = {2006},
    pages = {151--154},
    url = {http://publik.tuwien.ac.at/files/pub-et_11481.pdf},
    isbn = {1-4244-0621-8},
    note = {talk: International Symposium on System-on-Chip (SOC), Tampere, Finnland; 2006-11-14 -- 2006-11-16}
}