Model Checking and Model Construction of Continuous time Markov Chains

H. Hermanns (Invited speaker)

    Activity: Talk or presentationOral presentation

    Period22 Nov 1999
    Held atUniversity of Kent, United Kingdom