![]() |
Volumn 126, Issue 1, 1994, Pages 77-96
|
CTL* and ECTL* as fragments of the modal μ-calculus
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AUTOMATA THEORY;
COMPUTATIONAL METHODS;
COMPUTER SCIENCE;
ERROR DETECTION;
LOGIC PROGRAMMING;
AUTOMATED VERIFICATION METHOD;
CTL;
LINEAR TIME FRAGMENT;
MODAL Μ-CALCULUS;
PROGRAMMER;
PROGRAMMING ERROR;
TABLEAUX;
FORMAL LOGIC;
|
EID: 0028420232
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/0304-3975(94)90269-0 Document Type: Article |
Times cited : (104)
|
References (34)
|