@article{Kern99b,
  author	= "Christoph Kern and Mark Greenstreet",
  title		= "Formal Verification in Hardware Design, A Survey",
  journal	= "{ACM} Transactions on Design Automation of Electronic
			Systems",
  month		= Apr,
  year		= 1999,
  volume	= 3,
  number	= 3,
  pages		= 123-193
}