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

Katoen, J. P. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period13 Sep 1996
    Event title4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996
    Event typeConference
    Conference number4
    LocationUppsala, Sweden
    Degree of RecognitionInternational