External Links

    Journal: Formal Methods in System Design

    Volume 1, Issue 4

    297 -- 322Antti Valmari. A Stubborn Attack on State Explosion
    323 -- 354Henrik Reif Andersen, Glynn Winskel. Compositional Checking of Satsfaction
    355 -- 383Paul Loewenstein. Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic
    385 -- 415Costas Courcoubetis, Mihalis Yannakakis. Minimum and Maximum Delay Problems in Real-Time Systems
    runs on