Journals in DBLP

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

1. Kostas N. Oikonomou
   Abstractions of Random Finite-State Machines. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:3, pp:171-207 [Journal]
   
2. Radomir S. Stankovic
   Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:3, pp:209-231 [Journal]
   
3. Matthew Wilding, David A. Greve, David Hardin
   Efficient Simulation of Formal Processor Models. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:3, pp:233-248 [Journal]
   
4. Graeme Smith, John Derrick
   Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:3, pp:249-284 [Journal]
   
5. Christoph Meinel, Thorsten Theobald
   Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2001, v:18, n:3, pp:285-301 [Journal]