Quantitative Verification of Reactive and Embedded Systems

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Kaiserslautern, Germany
    Period10 May 2001
    Event titleInvited talk Colloquium University of Kaiserslautern
    Event typeConference
    LocationKaiserslautern, Germany

    Keywords

    • METIS-204459