Model Checking Action- and State-Labelled Markov Chains

L. Cloth (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Florence, Italy
    Period30 Jun 2004
    Event titleInternational Conference on Dependable Systems and Networks, DSN 2004
    Event typeConference
    LocationFlorence, Italy

    Keywords

    • METIS-218826