Alternative Specification and Verification of a Period State Exchange Protocol

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

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)-
    Number of pages5
    JournalIEEE/ACM transactions on networking
    Volume5
    Issue number4
    Publication statusPublished - 1997

    Keywords

    • METIS-111820

    Cite this