Specifying and Proving Communication Closedness in Protocols

W.P.M. Janssen

    Research output: Other contributionOther research output

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

    Keywords

    • METIS-122800

    Cite this

    Janssen, W. P. M. (1993, May 28). Specifying and Proving Communication Closedness in Protocols. Liege, Belgium.