TY  - RPRT
TI  - Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
AU  - Lars Kuhtz
AU  - Bernd Finkbeiner
PY  - 2012
DO  - 10.2168/lmcs-8(4:10)2012
UR  - https://arxiv.org/abs/1210.0574
ID  - 1210.0574
ER  -