Model checking Markov chains

    Activity: Talk or presentationInvited talk

    Period9 Sep 1999
    Held atDelft University of Technology, Netherlands