BibSonomy :: bibtex  ::

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},
description = {dblp},
date = {2002-02-26},
keywords = {dblp }