Model checking Markov chains

Katoen, J. P. (Keynote speaker)

    Activity: Talk or presentation › Invited talk

    Period9 Sep 1999
    Held atDelft University of Technology, Netherlands