External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 68, Issue 5

    1 -- 15Alvaro E. Arenas. An Algebraic Approach for Compiling Real-Time Programs
    16 -- 33Eugene Asarin, Catalin Dima. Balanced timed regular expressions
    34 -- 64Mario Bravetti. An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
    65 -- 84Mario Bravetti. Revisiting Interactive Markov Chains
    85 -- 100Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Petri nets with causal time for system verification
    101 -- 115Friedger Müffke. Process Algebras as Specification Language
    116 -- 134Maria Sorea. Bounded Model Checking for Timed Automata
    135 -- 136Walter Vogler, Kim Larsen. Preface
    runs on