Model checking Markov chains

Katoen, J. P. (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Erlangen, Germany
    Period3 Jun 2003
    Event titleKolloquium at the University of Erlangen-Nuernberg
    Event typeConference
    LocationErlangen, Germany

    Keywords

    • METIS-215006