Model checking and performance evaluation: a perfect match

Katoen, J. P. (Speaker)

Activity: Talk or presentationOral presentation

Period28 Mar 2004
Held at10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004
Event typeConference
Conference number10
LocationBarcelona, Spain

Keywords

  • METIS-220709