|
|
|
Volumn , Issue , 2000, Pages 643-652
|
|
Common fragment of CTL and LTL
a
a
SIEMENS AG
(Germany)
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
AUTOMATA THEORY;
THEOREM PROVING;
PROPOSITIONAL TEMPORAL LOGIC;
FORMAL LOGIC;
|
|
EID: 0034510686
PISSN: 02725428
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (84)
|
|
References (25)
|
