Xspin/Project - Integrated Validation Management for Xspin

  • T.C. Ruys (Keynote speaker)

    Activity: Talk or presentationInvited talk

    Period21 Sep 1999
    Event title6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999
    Event typeWorkshop
    Conference number6
    LocationToulouse, FranceShow on map
    Degree of RecognitionInternational