| |
| 1994 | ||
|---|---|---|
| 2 | Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson: Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. SRDS 1994: 128-137 | |
| 1993 | ||
| 1 | Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela: Integrating Boolean Verification with Formal Derivation. CHDL 1993: 139-146 | |
| 1 | Bhaskar Bose | [1] |
| 2 | Steven D. Johnson | [1] [2] |
| 3 | Paul S. Miner | [2] |