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

    NameMemoranda informatica
    PublisherUniversity of Twente
    No.95-28
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.95-14

    Cite this