Model Checking Markov Chains

H. Hermanns (Invited speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Dagstuhl, Germany
    Period4 Nov 2000
    Event titlePresentation at Dagstuhl Seminar on Advanced Stochastic Modelling in Telecommunications
    Event typeConference
    LocationDagstuhl, Germany

    Keywords

    • METIS-121308