Real-Time Model Checking and Beyond

K.G. Larsen (Speaker)

    Activity: Talk or presentationInvited talk

    Period26 Mar 2001
    Event titleAAAI Spring Symposium Series 2001
    Event typeConference
    LocationPalo Alto, United States, California