![]() |
@article{DBLP:journals/fmsd/BrockH97,
author = {Bishop Brock and
Warren A. Hunt Jr.},
title = {The DUAL-EVAL Hardware Description Language and Its Use
in the Formal Specification and Verification of the FM9001
Microprocessor},
journal = {Formal Methods in System Design},
volume = {11},
number = {1},
year = {1997},
pages = {71-104},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)