Journals in DBLP

Formal Methods in System Design
1993, volume: 2, number: 1

1. Hana De-Leon, Orna Grumberg
   Modular Abstractions for Verifying Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1993, v:2, n:1, pp:7-43 [Journal]
   
2. Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man
   On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1993, v:2, n:1, pp:45-72 [Journal]
   
3. Stephen D. Brookes
   Using Fixed-Point Semantics to Prove Retiming Lemmas. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1993, v:2, n:1, pp:73-91 [Journal]
   
4. Pranav Ashar, Srinivas Devadas, Kurt Keutzer
   Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1993, v:2, n:1, pp:93-112 [Journal]