Partial Order Models for Quantitative Extensions of LOTOS (to appear)

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)-
    Number of pages28
    JournalComputer networks and ISDN systems
    Publication statusPublished - 1997

    Keywords

    • METIS-118461

    Cite this

    @article{d67805887a4f4694944a72c764983b92,
    title = "Partial Order Models for Quantitative Extensions of LOTOS (to appear)",
    keywords = "METIS-118461",
    author = "Hendrik Brinksma and Katoen, {Joost P.} and Romanus Langerak and D. Latella",
    year = "1997",
    language = "Undefined",
    pages = "--",
    journal = "Computer networks",
    issn = "1389-1286",
    publisher = "Elsevier",

    }

    Partial Order Models for Quantitative Extensions of LOTOS (to appear). / Brinksma, Hendrik; Katoen, Joost P.; Langerak, Romanus; Latella, D.

    In: Computer networks and ISDN systems, 1997, p. -.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Partial Order Models for Quantitative Extensions of LOTOS (to appear)

    AU - Brinksma, Hendrik

    AU - Katoen, Joost P.

    AU - Langerak, Romanus

    AU - Latella, D.

    PY - 1997

    Y1 - 1997

    KW - METIS-118461

    M3 - Article

    SP - -

    JO - Computer networks

    JF - Computer networks

    SN - 1389-1286

    ER -