Model checking in industrial applications

    Activity: Talk or presentation › Oral presentation

    Period26 May 1999
    Held atTechnische Universitat Munchen, Germany
    Degree of RecognitionInternational