TY  - RPRT
TI  - Verifying Stability of Dynamic Soft-Computing Systems
AU  - Wen, Wu
AU  - Napolitano, Marcello
AU  - Callahan, John
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19980018318
ID  - 19980018318
ER  -