Alternative Specification and Verification of a Periodic State Exchange Protocol

A. Oláh, S.M. Heemstra de Groot

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages5
    Publication statusPublished - 1996

    Keywords

    • METIS-112690

    Cite this