@inproceedings{conf/iccad/GrodsteinPGGY90,
	title = {Constraint Identification for Timing Verification.},
	author = {Joel Grodstein and Jengwei Pan and William J. Grundmann and Bruce Gieseke and Yao-Tsung Yen},
	booktitle = {ICCAD},
	pages = {16-19},
	url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1990.html#GrodsteinPGGY90},
	year = {1990},
	biburl = {http://www.bibsonomy.org/bibtex/28e1483e45b515343e5c40704cc715349/dblp},
	description = {dblp},
	date = {2002-02-26},
	keywords = {dblp }
}