Journals in DBLP

Formal Methods in System Design
1994, volume: 4, number: 2

1. Cheryl Harkness, Elizabeth Wolf
   Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:4, n:2, pp:83-97 [Journal]
   
2. Siegfried Fischer, Andreas Scholz
   Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:4, n:2, pp:99-122 [Journal]
   
3. Thomas F. La Porta, Mischa Schwartz
   Verification of the MultiStream Potocol (MSP) Using COSPAN. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:4, n:2, pp:123-153 [Journal]
   
4. W. M. H. M. Rovers
   Description of a Design Management System for the P-ASIC Design Flow Using EXPDL. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:4, n:2, pp:155-166 [Journal]
   
5. Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
   Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:4, n:2, pp:167-185 [Journal]
   
6. Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
   Model Checking for Action-Based Logics. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1994, v:4, n:2, pp:187-203 [Journal]