Model checking continuous-time Markov chains by transient analysis

    Activity: Talk or presentation › Oral presentation

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