Model checking continuous-time Markov chains by transient analysis

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Period22 Dec 1999
    Held atUniversity of Birmingham, United Kingdom
    Degree of RecognitionInternational