Performance analysis := (process algebra + model checking) x Markov chains

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Aalborg, Denmark
    Period21 Aug 2001
    Event title13th International Conference on Concurrency Theory, CONCUR 2002: null
    Event typeConference
    Conference number13
    LocationBrno, Czech Republic

    Keywords

    • METIS-204455