Advances in Real-Time Model Checking

  • K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Period9 Sep 2002
    Event title7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002
    Event typeConference
    Conference number7
    LocationOldenburg, Germany
    Degree of RecognitionInternational