| | |
@inproceedings{DBLP:conf/csfw/NeelyFK89,
author = {Richard B. Neely and
J. W. Freeman and
M. D. Krenzin},
title = {Achieving Understandable Results in a Formal Design Verification},
booktitle = {CSFW},
year = {1989},
pages = {115-124},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page