External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 149, Issue 1

    1 -- 2Jirí Srba, Scott A. Smolka. Preface
    3 -- 15Antonín Kucera. Methods for Quantitative Analysis of Probabilistic Pushdown Automata
    17 -- 36Mojmír Kretínský, Vojtech Rehák, Jan Strejcek. Refining the Undecidability Border of Weak Bisimilarity
    37 -- 48Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar. Abstract Regular Tree Model Checking
    49 -- 60Paul C. Attie, Hana Chockler. Automatic Verification of Fault-Tolerant Register Emulations
    61 -- 77Venkatesh Mysore, Bud Mishra. Algorithmic Algebraic Model Checking III: Approximate Methods
    79 -- 96Viktor Schuppan, Armin Biere. Liveness Checking as Safety Checking for Infinite State Spaces
    runs on