Analysing continuous-time probabilistic systems by model checking

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Seminar at Programming Research Group
    Period23 Nov 2000
    Held atUniversity of Oxford, United Kingdom
    Degree of RecognitionInternational

    Keywords

    • METIS-120900