Journals in DBLP

Formal Methods in System Design
2002, volume: 20, number: 3

1. Ratan Nalumasu, Ganesh Gopalakrishnan
   An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:3, pp:231-247 [Journal]
   
2. Teodor Rus, Eric Van Wyk, Tom Halverson
   Generating Model Checkers from Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:3, pp:249-284 [Journal]
   
3. Javier Esparza, Stefan Römer, Walter Vogler
   An Improvement of McMillan's Unfolding Algorithm. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:3, pp:285-310 [Journal]
   
4. Christoph Scholl, Bernd Becker, Thomas M. Weis
   On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:3, pp:311-326 [Journal]