On-the-fly tableaux construction for real-time temporal logic

Research output: Contribution to conferenceOtherAcademic

Original languageEnglish
Publication statusPublished - 2001
Eventconference; Invited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen; 2001-11-26; 2001-11-26 -
Duration: 26 Nov 200126 Nov 2001

Conference

Conferenceconference; Invited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen; 2001-11-26; 2001-11-26
Period26/11/0126/11/01
OtherInvited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen

Cite this