Model Checking and Model Construction of Continuous time Markov Chains

  • H. Hermanns (Invited speaker)

    Activity: Talk or presentation › Oral presentation

    Period22 Nov 1999
    Held atUniversity of Kent, United Kingdom