Model checking Markov chains

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Barbados
    Period20 Apr 2004
    Event titleWorkshop on Probabilities in Artificial Intelligence
    Event typeConference
    LocationBarbados

    Keywords

    • METIS-220846