Advances in Real-Time Model Checking

K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Oldenborg, Germany
    Period9 Sep 2002
    Event titleInvited lecture at FTRTFT: Formal Techniques in Real-Time and Fault Tolerant Systems
    Event typeConference
    LocationOldenborg, Germany

    Keywords

    • METIS-209601