Model Checking Markov Chains

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

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