|
Journals in DBLP
- Jens Chr. Godskesen
Connectivity Testing. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:25, n:1, pp:5-38 [Journal]
- Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson
Using Forward Reachability Analysis for Verification of Lossy Channel Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:25, n:1, pp:39-65 [Journal]
- Karen Yorav, Orna Grumberg
Static Analysis for State-Space Reductions Preserving Temporal Logics. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:25, n:1, pp:67-96 [Journal]
|