Assertional verification of a connection management protocol

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

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages40
    Publication statusPublished - 1995

    Publication series

    NameCTIT technical reports series
    No.95-13

    Keywords

    • METIS-118219

    Cite this

    Oláh, A., & Heemstra de Groot, S. M. (1995). Assertional verification of a connection management protocol. (CTIT technical reports series; No. 95-13). Enschede: University of Twente.
    Oláh, A. ; Heemstra de Groot, S.M. / Assertional verification of a connection management protocol. Enschede : University of Twente, 1995. 40 p. (CTIT technical reports series; 95-13).
    @book{c84103f18ba54c5c9332d86351a98585,
    title = "Assertional verification of a connection management protocol",
    keywords = "METIS-118219",
    author = "A. Ol{\'a}h and {Heemstra de Groot}, S.M.",
    year = "1995",
    language = "Undefined",
    series = "CTIT technical reports series",
    publisher = "University of Twente",
    number = "95-13",
    address = "Netherlands",

    }

    Oláh, A & Heemstra de Groot, SM 1995, Assertional verification of a connection management protocol. CTIT technical reports series, no. 95-13, University of Twente, Enschede.

    Assertional verification of a connection management protocol. / Oláh, A.; Heemstra de Groot, S.M.

    Enschede : University of Twente, 1995. 40 p. (CTIT technical reports series; No. 95-13).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Assertional verification of a connection management protocol

    AU - Oláh, A.

    AU - Heemstra de Groot, S.M.

    PY - 1995

    Y1 - 1995

    KW - METIS-118219

    M3 - Report

    T3 - CTIT technical reports series

    BT - Assertional verification of a connection management protocol

    PB - University of Twente

    CY - Enschede

    ER -

    Oláh A, Heemstra de Groot SM. Assertional verification of a connection management protocol. Enschede: University of Twente, 1995. 40 p. (CTIT technical reports series; 95-13).