TY  - RPRT
TI  - Temporal logics meet telerobotics
AU  - Rutten, Eric
AU  - Marce, Lionel
PY  - 1989
UR  - https://ntrs.nasa.gov/citations/19900020589
ID  - 19900020589
ER  -