Performance Evaluation and Model Checking: A Perfect Match

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Brussels, Belgium
    Period13 Jun 2003
    Event titleTalk in the Belgian Seminar Series on Computer-Aided Verification
    Event typeConference
    LocationBrussels, Belgium

    Keywords

    • METIS-215021