A complete finite prefix for process algebra

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings CAV'99, LNCS 1663
    Place of PublicationTrento, Italy
    Pages184-195
    Number of pages12
    Publication statusPublished - 14 Feb 1999

    Keywords

    • METIS-119597

    Cite this

    Langerak, R., & Brinksma, H. (1999). A complete finite prefix for process algebra. In Proceedings CAV'99, LNCS 1663 (pp. 184-195). Trento, Italy.
    Langerak, Romanus ; Brinksma, Hendrik. / A complete finite prefix for process algebra. Proceedings CAV'99, LNCS 1663. Trento, Italy, 1999. pp. 184-195
    @inproceedings{56be2d4e65734f88b4063be81879ba3e,
    title = "A complete finite prefix for process algebra",
    keywords = "METIS-119597",
    author = "Romanus Langerak and Hendrik Brinksma",
    year = "1999",
    month = "2",
    day = "14",
    language = "Undefined",
    isbn = "0302-9743",
    pages = "184--195",
    booktitle = "Proceedings CAV'99, LNCS 1663",

    }

    Langerak, R & Brinksma, H 1999, A complete finite prefix for process algebra. in Proceedings CAV'99, LNCS 1663. Trento, Italy, pp. 184-195.

    A complete finite prefix for process algebra. / Langerak, Romanus; Brinksma, Hendrik.

    Proceedings CAV'99, LNCS 1663. Trento, Italy, 1999. p. 184-195.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - A complete finite prefix for process algebra

    AU - Langerak, Romanus

    AU - Brinksma, Hendrik

    PY - 1999/2/14

    Y1 - 1999/2/14

    KW - METIS-119597

    M3 - Conference contribution

    SN - 0302-9743

    SP - 184

    EP - 195

    BT - Proceedings CAV'99, LNCS 1663

    CY - Trento, Italy

    ER -

    Langerak R, Brinksma H. A complete finite prefix for process algebra. In Proceedings CAV'99, LNCS 1663. Trento, Italy. 1999. p. 184-195