Approximate symbolic model checking of continuous-time Markov chains

Katoen, J. P. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Eindhoven
    Period26 Aug 1999
    Event title10th International Conference on Concurrency Theory, CONCUR 1999
    Event typeConference
    Conference number10
    LocationEindhoven, Netherlands

    Keywords

    • METIS-121438