Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report TR405:
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit

Paul S. Miner, Shyamsundar Pullela and Steven D. Johnson
(May 1994), 19 pages pages
The abstact is not available. Please see the full paper.

Available as: