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.