|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
|