Quantitative Verification of Reactive and Embedded Systems

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Period30 May 2001
    Held atMax-Planck-Institute for Informatics, Germany, Saarland
    Degree of RecognitionInternational