How to apply process-algebraic algorithms to state-based (linear) temporal logic verification

  • Antti Valmari (Speaker)

    Activity: Talk or presentation › Conference presentation

    Period1999
    Event titleTemporal Logics for Distributed Systems - Paradigms and Algorithms, Dagstuhl Seminar, October 1999
    Event typeConference

    Country of activity

    • Germany

    Publication forum classification

    • No publication forum level