Real-Time Model Checking and Beyond

K.G. Larsen (Speaker)

    Activity: Talk or presentationInvited talk

    Period30 Jan 2001
    Event titleDutch Model Checking Day 2001
    Event typeConference
    LocationEnschede, Netherlands