Model Checking Markov Chains

    Activity: Talk or presentation › Oral presentation

    Period26 Nov 2002
    Held atEindhoven University of Technology, Netherlands
    Degree of RecognitionInternational