Journals in DBLP

Formal Methods in System Design
1999, volume: 15, number: 3

1. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
   Modelling Asynchrony with a Synchronous Model. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1999, v:15, n:3, pp:175-199 [Journal]
   
2. Bill Stoddart, Steve Dunne, Andy Galloway
   Undefined Expressions and Logic in Z and B. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1999, v:15, n:3, pp:201-215 [Journal]
   
3. Viktor Gyuris, A. Prasad Sistla
   On-the-Fly Model Checking Under Fairness that Exploits Symmetry. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1999, v:15, n:3, pp:217-238 [Journal]
   
4. Karsten Schmidt
   Model-Checking with Coverability Graphs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1999, v:15, n:3, pp:239-254 [Journal]