Xspin/Project - Integrated Validation Management for Xspin

T.C. Ruys

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of the 5th and 6th International SPIN Workshop: Theoretical and Practical Aspects of SPIN Model Checking
    Place of PublicationToulouse, France
    Number of pages12
    Publication statusPublished - 11 Feb 1999


    • METIS-119602

    Cite this