TY  - RPRT
TI  - Little Tricky Logic: Misconceptions in the Understanding of LTL
AU  - Ben Greenman
AU  - Sam Saarinen
AU  - Tim Nelson
AU  - Shriram Krishnamurthi
PY  - 2022
DO  - 10.22152/programming-journal.org/2023/7/7
UR  - https://arxiv.org/abs/2211.01677
ID  - 2211.01677
ER  -