Model Checking and Model Construction of Continuous Time Markov Chains

H. Hermanns (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Grenoble, France
    Period15 Aug 1999
    Event titleVoordracht INRIA
    Event typeConference
    LocationGrenoble, France

    Keywords

    • METIS-121482