Analysing continuous-time probabilistic systems by model checking

    Activity: Talk or presentation › Oral presentation

    Description

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

    Keywords

    • METIS-120900