External Links

    Journal: Formal Asp. Comput.

    Volume 12, Issue 5

    313 -- 349Ralph-Johan Back, Joakim von Wright. Encoding, Decoding and Data Refinement
    350 -- 371Rachel Cardell-Oliver. Conformance Tests for Real-Time Systems with Timed Automata Specifications
    372 -- 391Mark Staples. Interfaces for Refining Recursion and Procedures
    392 -- 415Chris M. N. Tofts. Symbolic Approaches to Probability Distributions in Process Algebra
    runs on