Journals in DBLP

Formal Methods in System Design
2005, volume: 26, number: 2

1. Scott D. Stoller, Willem Visser
   Foreword. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:2, pp:75-76 [Journal]
   
2. Patrice Godefroid
   Software Model Checking: The VeriSoft Approach. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:2, pp:77-101 [Journal]
   
3. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
   Verifying Time Partitioning in the DEOS Scheduling Kernel. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:2, pp:103-135 [Journal]
   
4. Radu Iosif, Matthew B. Dwyer, John Hatcliff
   Translating Java for Multiple Model Checkers: The Bandera Back-End. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:2, pp:137-180 [Journal]
   
5. Scott D. Stoller, Fred B. Schneider
   Automated Analysis of Fault-Tolerance in Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:2, pp:183-196 [Journal]
   
6. Orna Grumberg, Tamir Heyman, Assaf Schuster
   Distributed Symbolic Model Checking for µ-Calculus. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:2, pp:197-219 [Journal]