Journals in DBLP

Formal Methods in System Design
1996, volume: 8, number: 1

1. Paola Inverardi, Corrado Priami
   Automatic Verification of Distributed Systems: The Process Algebra Approach. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1996, v:8, n:1, pp:7-38 [Journal]
   
2. Doron Peled
   Combining Partial Order Reductions with On-the-Fly Model-Checking. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1996, v:8, n:1, pp:39-64 [Journal]
   
3. Tetsuya Yamada, Hiroto Yasuura
   On the Computational Power of Binary Decision Diagram with Redundant Variables. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1996, v:8, n:1, pp:65-89 [Journal]
   
4. Jan Friso Groote
   Hiding Propositional Constants in BDDs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1996, v:8, n:1, pp:91-96 [Journal]