title = {A novel approach to code analysis of digital signal processing systems.},
author = {Olaf Lüthje and Martin Coors and Holger Keding}, booktitle = {CASES}, pages = {76-83}, url = {http://dblp.uni-trier.de/db/conf/cases/cases2001.html#LuthjeCK01}, year = {2001}, description = {dblp}, ee = {http://portal.acm.org/citation.cfm?id=502217.502229}, date = {2002-01-29},
keywords = {dblp }
::