Model checking probabilistic timed automata

P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Uppsala, Sweden
    Period21 Feb 2000
    Event titleUppaal'2000 meeting
    Event typeConference
    LocationUppsala, Sweden

    Keywords

    • METIS-120884