Formal specification of the plain UCN layer in LOTOS

Jan Willem van Heerde, Harro Kremer, Hans Pasch

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages174
    Publication statusPublished - 1992

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    No.92-83
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.92-32

    Cite this

    van Heerde, J. W., Kremer, H., & Pasch, H. (1992). Formal specification of the plain UCN layer in LOTOS. (Memoranda Informatica; No. 92-83), (Memorandum TIOS; No. 92-32). Enschede: University of Twente.