Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/11/25
Vol. E75-D
No. 6
pp. 778-784
Type of Manuscript:
Special Section PAPER (Special Issue on Pacific Rim International Symposium on Fault Tolerant Systems)
Category:
Keyword:
specification, algebraic method, asynchronous circuits, arbiter, |