TY  - RPRT
TI  - Bounded-time fault-tolerant rule-based systems
AU  - Browne, James C.
AU  - Emerson, Allen
AU  - Gouda, Mohamed
AU  - Miranker, Daniel
AU  - Mok, Aloysius
AU  - Rosier, Louis
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900013002
ID  - 19900013002
ER  -