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

M.C.W. Geilen

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

CompSOC Lab- Predictable & Composable Embedded Systems

Research output: Contribution to conference › Other › Academic

Original language	English
Publication status	Published - 2001
Event	conference; Invited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen; 2001-11-26; 2001-11-26 - Duration: 26 Nov 2001 → 26 Nov 2001

Conference

Conference	conference; Invited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen; 2001-11-26; 2001-11-26
Period	26/11/01 → 26/11/01
Other	Invited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen

Cite this

@conference{d9e64728751d46da8505b5b1c0120953,

title = "On-the-fly tableaux construction for real-time temporal logic",

author = "M.C.W. Geilen",

year = "2001",

language = "English",

note = "conference; Invited presentation at IPA Fall Days on Timed Systems, Landgoed Huize Bergen; 2001-11-26; 2001-11-26 ; Conference date: 26-11-2001 Through 26-11-2001",

}