Markov Chain Model Checker

Katoen, J. P. (Speaker)

Activity: Talk or presentationOral presentation

Period24 Aug 2002
Held atTools Day CONCUR 2002
Event typeConference
LocationBrno, Czech Republic
Degree of RecognitionInternational

Keywords

  • METIS-209119