Model checking and performance evaluation: a perfect match

    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, SpainShow on map

    Keywords

    • METIS-220709