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