Model checking and performance evaluation: a perfect match

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

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

    Keywords

    • METIS-220709