Quantitative Verification of Reactive and Embedded Systems

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Berlin, Germany
    Period18 Jun 2001
    Event titleInvited talk at Colloquium Humboldt University: null
    Event typeConference
    LocationBerlin, Germany

    Keywords

    • METIS-204457