Assertional verification of a connection management protocol

András L. Oláh, Sonia M. Heemstra de Groot

    Research output: Book/ReportReportProfessional

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

    Publication series

    NameCTIT technical reports series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.95-13
    ISSN (Print)1381-3625

    Cite this

    Oláh, A. L., & 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, András L. ; Heemstra de Groot, Sonia 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",
    author = "Ol{\'a}h, {Andr{\'a}s L.} and {Heemstra de Groot}, {Sonia M.}",
    year = "1995",
    language = "English",
    series = "CTIT technical reports series",
    publisher = "University of Twente",
    number = "95-13",
    address = "Netherlands",

    }

    Oláh, AL & 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, András L.; Heemstra de Groot, Sonia 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, András L.

    AU - Heemstra de Groot, Sonia M.

    PY - 1995

    Y1 - 1995

    M3 - Report

    T3 - CTIT technical reports series

    BT - Assertional verification of a connection management protocol

    PB - University of Twente

    CY - Enschede

    ER -

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