SPIN Tutorial: How to Become a SPIN Doctor

T.C. Ruys (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Grenoble, France
    Period11 Apr 2002
    Event title9th International SPIN Workshop on Model Checking Software 2002
    Event typeWorkshop
    Conference number9
    LocationGrenoble, France

    Keywords

    • METIS-209210