On specifying real-time systems in a causality-based setting

J.P. Katoen, R. Langerak, D. Latella, E. Brinksma

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

    28 Citations (Scopus)
    Original languageEnglish
    Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996)
    EditorsB. Jonsson, J. Parrow
    PublisherSpringer
    Pages385-404
    ISBN (Print)3-540-61648-9
    DOIs
    Publication statusPublished - 1996

    Publication series

    NameLecture Notes in Computer Science
    Volume1135
    ISSN (Print)0302-9743

    Cite this