Model checking Markov chains

Katoen, J. P. (Keynote speaker)

    Activity: Talk or presentationInvited talk

    Period9 Sep 1999
    Held atDelft University of Technology, Netherlands