Invited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen, Vught, The Netherlands

Activity: Talk or presentation typesContributed talkScientific

Description

On-the-fly tableaux construction for real-time temporal logic
Period26 Nov 2001
Event titleInvited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen, Vught, The Netherlands
Event typeConference