Title :
An HOL Theory For Logic States with Indeterminate Strengths
Author :
Gambles, J.W. ; Windley, P.J.
Author_Institution :
University of Idaho
Keywords :
Design automation; Design engineering; Fasteners; Hardware design languages; Lattices; Logic circuits; Logic design; Logic devices; NASA; Very large scale integration;
Conference_Titel :
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location :
Davis, CA, USA
Print_ISBN :
0-8186-2460-4
DOI :
10.1109/HOL.1991.596277
