Low-Fat Recipes for SPIN

T.C. Ruys

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

    9 Citations (Scopus)
    Original languageUndefined
    Title of host publicationSPIN Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop (SPIN'2000). Editors: K. Havelund, J. Penix and W. Vissers. LNCS 1885
    Place of PublicationStanford University, California, USA
    Pages287-321
    Number of pages35
    Publication statusPublished - 22 Feb 2000

    Keywords

    • METIS-119645

    Cite this