A Verification Excercise in LOTOS

    Research output: Book/ReportReportProfessional

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

    Keywords

    • METIS-123119

    Cite this