Advanced SPIN Tutorial

T.C. Ruys (Speaker)

    Activity: Talk or presentationOral presentation

    Period2 Apr 2004
    Event title11th International SPIN Workshop on Model Checking Software 2004
    Event typeWorkshop
    Conference number11
    LocationBarcelona, Spain
    Degree of RecognitionInternational