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

    Activity: Talk or presentation › Oral presentation

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