On the Design and Formal Specification of a TP Protocol

    Research output: Other contributionOther research output

    Original languageEnglish
    Publication statusPublished - 30 Jun 1990

    Keywords

    • METIS-123115

    Cite this