Journals in DBLP

Formal Methods in System Design
2001, volume: 18, number: 2

1. Orna Grumberg
   Introduction: Special Issue on CAV '97. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:2, pp:95- [Journal]
   
2. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
   Partial-Order Reduction in Symbolic State-Space Exploration. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:2, pp:97-116 [Journal]
   
3. Ulrich Stern, David L. Dill
   Parallelizing the Murj Verifier. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:2, pp:117-129 [Journal]
   
4. R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi
   A New Heuristic for Bad Cycle Detection Using BDDs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:2, pp:131-140 [Journal]
   
5. Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
   Efficient Detection of Vacuity in Temporal Model Checking. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:2, pp:141-163 [Journal]