Title:	Formal Verification of a Basic Circuits Library
Links:	Document as Postscript Document as PDF
Authors:	Christoph Berg EMail
	Christian Jacobi EMail
	Daniel Kröning EMail
Remarks:
Topics:	Systems , Verif

Bibtex:

@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 },
}