|
Journals in DBLP
- Janusz A. Brzozowski, Zoltán Ésik
Hazard Algebras. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:23, n:3, pp:223-256 [Journal]
- Giorgio Delzanno
Constraint-Based Verification of Parameterized Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:23, n:3, pp:257-301 [Journal]
- Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer
From Pre-Historic to Post-Modern Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:23, n:3, pp:303-327 [Journal]
|