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
    Pages108-119
    Number of pages12
    Publication statusPublished - 11 Feb 1999

    Keywords

    • METIS-119602

    Cite this

    Ruys, T. C. (1999). Xspin/Project - Integrated Validation Management for Xspin. In Proceedings of the 5th and 6th International SPIN Workshop: Theoretical and Practical Aspects of SPIN Model Checking (pp. 108-119). Toulouse, France.