Assertional verification of a connection management protocol

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

    Research output: Book/Report › Report › Professional

    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
    • 1 Report
    • 1 Conference contribution

    • Assertional verification of a connection management protocol

      Oláh, A. L. & Heemstra de Groot, S. M., 12 Oct 1995, Formal Description Techniques VIII (FORTE '95): Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. von Bochmann, G., Dssouli, R. & Rafiq, O. (eds.). London: Springer, p. 401-416 (IFIP Advances in Information and Communication Technology).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      Open Access
      File
      69 Downloads (Pure)

    • Assertional verification of a connection management protocol

      Oláh, A. L. & Heemstra de Groot, S. M., 1995, Enschede: University of Twente. 40 p. (CTIT technical reports series; no. 95-13)

      Research output: Book/Report › Report › Professional

    Cite this