Skip to main navigation Skip to search Skip to main content

Model Checking Markov Chains

    Activity: Talk or presentation › Oral presentation

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