Machine checked proofs of the design of a fault-tolerant circuit
William R. Bevier, William D. YoungVolume:
4
Language:
english
Pages:
21
DOI:
10.1007/bf03180571
Date:
November, 1992
File:
PDF, 1.29 MB
english, 1992