Catalogue of LOTOS Correctness Preserving Transformations: Task 1.2 Final Deliverable

L.F. Pires

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Number of pages158
    Publication statusPublished - 1992

    Keywords

    • METIS-122156

    Cite this

    Pires, L.F. / Catalogue of LOTOS Correctness Preserving Transformations: Task 1.2 Final Deliverable. Enschede : Universiteit Twente, 1992. 158 p.
    @book{acbcfcf96dd044d4b0ee243f527802a5,
    title = "Catalogue of LOTOS Correctness Preserving Transformations: Task 1.2 Final Deliverable",
    keywords = "METIS-122156",
    author = "L.F. Pires",
    year = "1992",
    language = "Undefined",
    publisher = "Universiteit Twente",

    }

    Catalogue of LOTOS Correctness Preserving Transformations: Task 1.2 Final Deliverable. / Pires, L.F.

    Enschede : Universiteit Twente, 1992. 158 p.

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Catalogue of LOTOS Correctness Preserving Transformations: Task 1.2 Final Deliverable

    AU - Pires, L.F.

    PY - 1992

    Y1 - 1992

    KW - METIS-122156

    M3 - Report

    BT - Catalogue of LOTOS Correctness Preserving Transformations: Task 1.2 Final Deliverable

    PB - Universiteit Twente

    CY - Enschede

    ER -