|
Journals in DBLP
STTT 1999, volume: 2, number: 3
- Steven D. Johnson
A Workshop on Formal Methods Education: An Aggregation of Opinions. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:203-207 [Journal]
- Rance Cleaveland
Pragmatics of Model Checking: An STTT Special Section. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:208-218 [Journal]
- Xiaoqun Du, Scott A. Smolka, Rance Cleaveland
Local Model Checking and Protocol Analysis. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:219-241 [Journal]
- Henrik Reif Andersen, Jørn Lind-Nielsen
Partial Model Checking of Modal Equations: A Survey. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:242-259 [Journal]
- Sérgio Vale Aguiar Campos, Edmund M. Clarke
Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:260-269 [Journal]
- Gerard J. Holzmann, Anuj Puri
A Minimized Automaton Representation of Reachable States. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:270-278 [Journal]
- Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled
State Space Reduction Using Partial Order Techniques. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:279-287 [Journal]
- Carl Pixley, Vigyan Singhal
Model Checking: A Hardware Design Perspective. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:288-306 [Journal]
- C. Barry Jay
Programming in FISh. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:307-315 [Journal]
|