Model checking CTMCs by using transient analysis

    Activity: Talk or presentation › Invited talk

    Description

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

    Keywords

    • METIS-121452