TY  - RPRT
TI  - A Tool for Automatic Verification of Real-Time Expert Systems
AU  - Traylor, B.
AU  - Schwuttke, U.
AU  - Quan, A.
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/20060038480
ID  - 20060038480
ER  -