Model checking stochastic systems

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Nassau, Bahamas
    Period13 Dec 2004
    Event titleWorkshop on Stochastic Hybrid Systems (pre-CDC 2004 workshop)
    Event typeConference
    LocationNassau, Bahamas

    Keywords

    • METIS-220853