Research

Technical Report Results

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
Abstract:
The abstact is not available. Please see the full paper.

Available as: