Analysing Markov chains by model checking

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Schloss Dagstuhl, Germany
    Period3 May 2000
    Event titleDagstuhl Seminar 00181: Probabilistic Methods in Verification 2000
    Event typeConference
    LocationWadern, Germany

    Keywords

    • METIS-120898