@inproceedings{TUW-109929, author = {Holzer, Martin and Rupp, Markus}, title = {Static Code Analysis of Functional Descriptions in SystemC}, booktitle = {DELTA 2006 Third IEEE International Workshop on Electronic Design, Test {\&} Applications}, year = {2006}, editor = {Rupp, Markus}, pages = {243--248}, url = {http://publik.tuwien.ac.at/files/pub-et_10826.pdf}, isbn = {0-7695-2500-8}, note = {talk: IEEE International Workshop on Electronic Design, Test and Applications, Kuala Lumpur, Malaysia; 2006-01-17 -- 2006-01-19} }