Beyond memoryless distributions: model checking semi-Markov chains

H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Germany
    Period12 Sep 2001
    Event titleJoint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001
    Event typeWorkshop
    LocationAachen, Germany

    Keywords

    • METIS-204448