Probabilistic verification of Markov chains

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Aachen, Germany
    Period11 Sep 2001
    Event titleInvited tutorial Int. Multi-Conference on Measurement, Modelling and Evaluation of Computer-Communication Systems
    Event typeConference
    LocationAachen, Germany

    Keywords

    • METIS-204142