Compositional Analysis of an Ordinary Telephony System

  • H. Hermanns (Keynote speaker)

    Activity: Talk or presentation › Oral presentation

    Period1 Apr 1998
    Held atSchloss Dagstuhl -Leibniz-Zentrum fur Informatik, Germany
    Degree of RecognitionInternational