Real-Time Model Checking and Beyond

K.G. Larsen (Speaker)

    Activity: Talk or presentation › Invited talk

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