Model checking in industrial applications

Langerak, R. (Invited speaker)

    Activity: Talk or presentationOral presentation

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