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: null
    Event typeConference
    Conference number10
    LocationBarcelona, Spain

    Keywords

    • METIS-220709