|
|
Volumn 5, Issue , 1997, Pages 29-
|
|
More infinite results
a a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL COMPLEXITY;
PROBLEM SOLVING;
CONCURRENCY THEORY;
INFINITE-STATE SYSTEMS;
TEMPORAL LOGIC;
FORMAL LOGIC;
|
|
EID: 0003363352
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80680-2 Document Type: Conference Paper |
|
Times cited : (22)
|
|
References (0)
|