@inproceedings{DATE-2001-CasavantGLMWA,
	author        = "Albert E. Casavant and Aarti Gupta and S. Liu and Akira Mukaiyama and Kazutoshi Wakabayashi and Pranav Ashar",
	booktitle     = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
	doi           = "10.1145/367072.367984",
	isbn          = "0-7695-0993-2",
	pages         = "799",
	publisher     = "{ACM}",
	title         = "{Property-specific witness graph generation for guided simulation}",
	year          = 2001,
}