Cross-fertilizing computer aided verification and performance evaluation approaches

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Period27 Jun 2001
    Event titleCWI Queueing Colloquium 2001
    Event typeConference
    LocationAmsterdam, Netherlands
    Degree of RecognitionNational