A Verification Excercise in LOTOS

Marten J. van Sinderen

    Research output: Book/Report › Report › Professional

    Original languageUndefined
    PublisherUniversity of Twente
    Number of pages16
    Publication statusPublished - 31 Jan 1990

    Keywords

    • METIS-123119

    Cite this