An exercise in protocol synthesis

P.H.J. van Eijk

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Publication statusPublished - 29 May 1991

    Keywords

    • METIS-123833

    Cite this

    van Eijk, P. H. J. (1991). An exercise in protocol synthesis. Enschede: Universiteit Twente.
    van Eijk, P.H.J. / An exercise in protocol synthesis. Enschede : Universiteit Twente, 1991.
    @book{09762c8d35e946ffae07d171b9fec70d,
    title = "An exercise in protocol synthesis",
    keywords = "METIS-123833",
    author = "{van Eijk}, P.H.J.",
    note = "Rapport ESPRIT/LOTOSPHERE",
    year = "1991",
    month = "5",
    day = "29",
    language = "English",
    publisher = "Universiteit Twente",

    }

    van Eijk, PHJ 1991, An exercise in protocol synthesis. Universiteit Twente, Enschede.

    An exercise in protocol synthesis. / van Eijk, P.H.J.

    Enschede : Universiteit Twente, 1991.

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - An exercise in protocol synthesis

    AU - van Eijk, P.H.J.

    N1 - Rapport ESPRIT/LOTOSPHERE

    PY - 1991/5/29

    Y1 - 1991/5/29

    KW - METIS-123833

    M3 - Report

    BT - An exercise in protocol synthesis

    PB - Universiteit Twente

    CY - Enschede

    ER -

    van Eijk PHJ. An exercise in protocol synthesis. Enschede: Universiteit Twente, 1991.