The Application of Promela and SPIN in the BOS Project

W.T.M. Kars

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

    Original languageUndefined
    Title of host publicationProceedings of the 2nd SPIN Workshop
    Place of PublicationRutgers University, New Jersey
    Pages-
    Number of pages9
    Publication statusPublished - 5 Aug 1996

    Keywords

    • METIS-120052

    Cite this

    Kars, W. T. M. (1996). The Application of Promela and SPIN in the BOS Project. In Proceedings of the 2nd SPIN Workshop (pp. -). Rutgers University, New Jersey.