External Links

    Journal: Formal Asp. Comput.

    Volume 7, Issue 5

    473 -- 509Peter B. Ladkin, Stefan Leue. Interpreting Message Flow Graphs
    510 -- 532Zhiming Liu, Mathai Joseph, Tomasz Janowski. Verification of Schedulability for Real-Time Programs
    533 -- 549Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens. METATEM: An Introduction
    550 -- 575Kai Engelhardt, Willem P. de Roever. Towards a Practitioners Approach to Abadi and Lamport s Method
    576 -- 580K. Rustan M. Leino. A Method for Showing Progress
    runs on