External Links

    Journal: Formal Methods in System Design

    Volume 23, Issue 3

    223 -- 256Janusz A. Brzozowski, Zoltán Ésik. Hazard Algebras
    257 -- 301Giorgio Delzanno. Constraint-Based Verification of Parameterized Cache Coherence Protocols
    303 -- 327Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer. From Pre-Historic to Post-Modern Symbolic Model Checking
    runs on