TY  - RPRT
TI  - Decidability for a temporal logic used in discrete-event system analysis
AU  - Knight, J. F.
AU  - Passino, K. M.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910031526
ID  - 19910031526
ER  -