MoDeST: A Modelling Language for Stochastic Timed Systems

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Aachen, Germany
    Period13 Sep 2001
    Event titleJoint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001
    Event typeWorkshop
    LocationAachen, Germany

    Keywords

    • METIS-203958