Specification and Analysis of Stochastic Timed Systems

P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period21 Feb 2000
    Event titleDagstuhl Seminar 00181: Probabilistic Methods in Verification 2000
    Event typeConference
    LocationWadern, Germany