@inproceedings{Kern99a,
  author	= "Christoph Kern and Tarik Ono-Tesfaye and Mark Greenstreet",
  title		= "A Light-Weight Framework for Hardware Verification",
  booktitle	= "The Fifth Annual Conference on Tools and Algorithms
			for the Construction and Analysis of Systems
			{TACAS'99}",
  pages		= "330--344",
  month		= Mar,
  year		= 1999,
  publisher	= "Springer",
  address	= "Amsterdam, The Netherlands",
  note		= "{LNCS} 1579"
}