Quantitative Verification of Reactive and Embedded Systems

  • H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period30 May 2001
    Held atMax-Planck-Institut fur Informatik, Germany, Saarland
    Degree of RecognitionInternational