by Kenneth L. McMillan and David L. Dill
Reference:
Algorithms for Interface Timing Verification (Kenneth L. McMillan and David L. Dill), In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD '92, Cambridge, MA, USA, October 11-14, 1992, 1992.
Bibtex Entry:
@inproceedings{DBLP:conf/iccd/McMillanD92,
author = {Kenneth L. McMillan and
David L. Dill},
title = {Algorithms for Interface Timing Verification},
booktitle = {Proceedings 1991 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA, USA,
October 11-14, 1992},
pages = {48--51},
year = {1992},
url = {ICCD92.pdf},
doi = {10.1109/ICCD.1992.276208},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/iccd/McMillanD92},
bibsource = {dblp computer science bibliography, https://dblp.org}
}