Analyzing Markov Chains by Model Checking

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: TUE, Eindhoven
    Period7 Nov 2001
    Held atEindhoven University of Technology, Netherlands

    Keywords

    • METIS-204442