|
|
|
Volumn 24, Issue 1-3, 1996, Pages 211-220
|
|
Completeness verification of rule-based control systems
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTER SOFTWARE;
FORMAL LOGIC;
MATHEMATICAL TECHNIQUES;
COMPLETENESS;
VERIFICATION;
CONTROL SYSTEMS;
|
|
EID: 0030412381
PISSN: 02329298
EISSN: None
Source Type: Journal
DOI: None Document Type: Article |
|
Times cited : (1)
|
|
References (11)
|
