Language and Tool Design of MoDeST, a Wide-Spectrum Stochastic Process Algebra

Katoen, J. P. (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Eindhoven
    Period29 Jun 2003
    Event titleInvited talk at Workshop on Stochastic Petri Nets and Related Formalisms
    Event typeConference
    LocationEindhoven

    Keywords

    • METIS-215003