Cross-fertilizing computer aided verification and performance evaluation approaches

  • H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period27 Jun 2001
    Event titleCWI Queueing Colloquium 2001
    Event typeConference
    OrganiserCentrum voor Wiskunde en Informatica
    LocationAmsterdam, NetherlandsShow on map
    Degree of RecognitionNational