TY  - RPRT
TI  - Evaluation of Temporal Formulas Based on "Checking By Spheres"
AU  - Wiktor B. Daszczuk
PY  - 2017
DO  - 10.1109/dsd.2001.952267
UR  - https://arxiv.org/abs/1702.03564
ID  - 1702.03564
ER  -