Formal Description of ISO 8073 in LOTOS

Giuseppe Scollo, H.H.C. Kremer

    Research output: Other contributionOther research output

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

    Keywords

    • METIS-123059

    Cite this