Stochastic process algebra: linking process descriptions with performance

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Stenungsund, Sweden
    Period5 Jul 2001
    Event titleTalk at IFIP WG 10.4 Workshop on Utilisation of Formal Methods in Dependable Systems
    Event typeConference
    LocationStenungsund, Sweden

    Keywords

    • METIS-204523