External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 174, Issue 8

    1 -- 0Michael W. Mislove. Editor s Note
    3 -- 6Byron Cook, Roberto Sebastiani. Preface and Foreword
    7 -- 22Sava Krstic, Robert B. Jones, John O Leary. Mothers of Pipelines
    23 -- 37Clark Barrett, Igor Shikanian, Cesare Tinelli. An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types
    39 -- 54Swen Jacobs, Viorica Sofronie-Stokkermans. Applications of Hierarchical Reasoning in the Verification of Complex Systems
    55 -- 70Maria Paola Bonacina, Mnacho Echenim. Rewrite-Based Satisfiability Procedures for Recursive Data Structures
    71 -- 93Sayan Mitra, Nancy A. Lynch. Proving Approximate Implementations for Probabilistic I/O Automata
    95 -- 108Alessandro Tiberi. Probabilistic Configuration Theories
    runs on