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