Model checking CTMCs by using transient analysis

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationInvited talk

    Description

    Opmerking: Invited Plaats van uitgifte: Universitat Erlangen-Nurnberg
    Period6 Dec 1999
    Held atUniversity of Erlangen-Nuremberg, Germany

    Keywords

    • METIS-121452