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