Markovian Process Algebra

H. Hermanns (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Berg en Dal, The Netherlands
    Period6 Jul 2000
    Event titleInvited tutorial at Euro Summerschool on Formal Methods for Performance Analysis (FMPA'2000)
    Event typeConference
    LocationBerg en Dal, The Netherlands

    Keywords

    • METIS-121342