TY  - RPRT
TI  - Temporal logics and real time expert systems.
AU  - J A Blom
PY  - 1996
DO  - 10.1016/0169-2607(96)01761-0
UR  - https://pubmed.ncbi.nlm.nih.gov/8894390/
ID  - 8894390
ER  -