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

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

    • Assertional verification of a connection management protocol

      Oláh, A. L. & Heemstra de Groot, S. M., 1995, Enschede: University of Twente. 40 p. (Memoranda informatica; no. 95-28)(Memorandum TIOS; no. 95-14)

      Research output: Book/Report › Report › Professional

    • 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
      125 Downloads (Pure)

    Cite this