External Links

    Journal: Formal Methods in System Design

    Volume 3, Issue 3

    181 -- 209James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland. Using Transformations and Verification in Circuit Design
    211 -- 232Jo C. Ebergen, Ad M. G. Peeters. Design and Analysis of Delay-Insensitive Modulo-::::N:::: Counters
    233 -- 257Michael Mendler, Terry Stroup. Newtonian Arbiters Cannot be Proven Correct
    runs on