On Specifying Real-Time Systems in a Causality-Based Setting

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

    Original languageUndefined
    Title of host publicationProceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science
    Place of PublicationUppsala, Sweden
    Pages385-404
    Number of pages20
    Publication statusPublished - 13 Sep 1996

    Keywords

    • METIS-120050

    Cite this

    Katoen, J. P., Latella, D., Langerak, R., & Brinksma, H. (1996). On Specifying Real-Time Systems in a Causality-Based Setting. In Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science (pp. 385-404). Uppsala, Sweden.
    Katoen, Joost P. ; Latella, D. ; Langerak, Romanus ; Brinksma, Hendrik. / On Specifying Real-Time Systems in a Causality-Based Setting. Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden, 1996. pp. 385-404
    @inproceedings{bb043b1ff4734a91a48dbf3c50003b52,
    title = "On Specifying Real-Time Systems in a Causality-Based Setting",
    keywords = "METIS-120050",
    author = "Katoen, {Joost P.} and D. Latella and Romanus Langerak and Hendrik Brinksma",
    year = "1996",
    month = "9",
    day = "13",
    language = "Undefined",
    isbn = "3-540-61648-9",
    pages = "385--404",
    booktitle = "Proceedings {"}Formal Techniques in Real-Time and Fault-Tolerant Systems{"}, Vol. 1135 of Lecture Notes in Computer Science",

    }

    Katoen, JP, Latella, D, Langerak, R & Brinksma, H 1996, On Specifying Real-Time Systems in a Causality-Based Setting. in Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden, pp. 385-404.

    On Specifying Real-Time Systems in a Causality-Based Setting. / Katoen, Joost P.; Latella, D.; Langerak, Romanus; Brinksma, Hendrik.

    Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden, 1996. p. 385-404.

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

    TY - GEN

    T1 - On Specifying Real-Time Systems in a Causality-Based Setting

    AU - Katoen, Joost P.

    AU - Latella, D.

    AU - Langerak, Romanus

    AU - Brinksma, Hendrik

    PY - 1996/9/13

    Y1 - 1996/9/13

    KW - METIS-120050

    M3 - Conference contribution

    SN - 3-540-61648-9

    SP - 385

    EP - 404

    BT - Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science

    CY - Uppsala, Sweden

    ER -

    Katoen JP, Latella D, Langerak R, Brinksma H. On Specifying Real-Time Systems in a Causality-Based Setting. In Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden. 1996. p. 385-404