Model Checking Markov Chains

    Activity: Talk or presentationOral presentation

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