A Verification Excercise in LOTOS

    Research output: Book/ReportReportProfessional

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

    Keywords

    • METIS-123119

    Cite this