@inproceedings{BJK01, <br>AUTHOR = {Berg, C. and Jacobi, C. and Kröning, D.},<br>TITLE = {Formal Verification of a Basic Circuits Library},<br>YEAR = {2001},<br>URL = {http:///publikationen/BJK01.pdf}, <br>BOOKTITLE = {Proc. of the IASTED International Conference on Applied Informatics, Innsbruck (AI 2001)}, <br>PUBLISHER = {ACTA Press},<br>}