Analyzing Markov Chains by Model Checking

  • H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

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

    Keywords

    • METIS-204442