Specifying and Proving Communication Closedness in Protocols

W.P.M. Janssen

    Research output: Other contribution › Other research output

    Original languageUndefined
    Place of PublicationLiege, Belgium
    Publication statusPublished - 28 May 1993

    Keywords

    • METIS-122800

    Cite this