Formal Description of ISO 8072 in LOTOS

Giuseppe Scollo

    Research output: Other contributionOther research output

    Original languageEnglish
    PublisherISO/IEC-JTC1/SC6/WG4 Ad-hoc Group
    Place of PublicationSydney
    Publication statusPublished - 30 Sep 1990

    Keywords

    • METIS-123060

    Cite this