External Links

    Journal: Formal Methods in System Design

    Volume 17, Issue 1

    5 -- 37Michael Mendler. Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic
    39 -- 60Farn Wang. Parametric Analysis of Computer Systems
    61 -- 99Roberto M. Amadio, Sanjiva Prasad. Modelling IP Mobility
    runs on