@inproceedings{comp01,
  AUTHOR    = { Berg, Christoph
                and Jacobi, Christian
                and Kröning, Daniel },
  TITLE     = { Formal Verification of a Basic Circuits Library },
  BOOKTITLE = { Proc.\ of the IASTED International Conference on Applied Informatics, Innsbruck (AI 2001) },
  YEAR      = { 2001 },
  PUBLISHER = { ACTA Press },
}