On the Design and Implementation of Distributed Systems Using LOTOS

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

    Original languageUndefined
    Title of host publicationProceedings 10th SBRC
    Place of PublicationRecife, Brazilie
    Pages-
    Number of pages1
    Publication statusPublished - 15 Apr 1992

    Keywords

    • METIS-119477

    Cite this

    Brinksma, H. (1992). On the Design and Implementation of Distributed Systems Using LOTOS. In Proceedings 10th SBRC (pp. -). Recife, Brazilie.
    Brinksma, Hendrik. / On the Design and Implementation of Distributed Systems Using LOTOS. Proceedings 10th SBRC. Recife, Brazilie, 1992. pp. -
    @inproceedings{9c41ff72abbf4b9b8347b1f312ead396,
    title = "On the Design and Implementation of Distributed Systems Using LOTOS",
    keywords = "METIS-119477",
    author = "Hendrik Brinksma",
    year = "1992",
    month = "4",
    day = "15",
    language = "Undefined",
    pages = "--",
    booktitle = "Proceedings 10th SBRC",

    }

    Brinksma, H 1992, On the Design and Implementation of Distributed Systems Using LOTOS. in Proceedings 10th SBRC. Recife, Brazilie, pp. -.

    On the Design and Implementation of Distributed Systems Using LOTOS. / Brinksma, Hendrik.

    Proceedings 10th SBRC. Recife, Brazilie, 1992. p. -.

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

    TY - GEN

    T1 - On the Design and Implementation of Distributed Systems Using LOTOS

    AU - Brinksma, Hendrik

    PY - 1992/4/15

    Y1 - 1992/4/15

    KW - METIS-119477

    M3 - Conference contribution

    SP - -

    BT - Proceedings 10th SBRC

    CY - Recife, Brazilie

    ER -

    Brinksma H. On the Design and Implementation of Distributed Systems Using LOTOS. In Proceedings 10th SBRC. Recife, Brazilie. 1992. p. -