TY  - RPRT
TI  - Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors
AU  - Kun Xie
AU  - Sylvain Hallé
PY  - 2020
UR  - https://arxiv.org/abs/2005.11737
ID  - 2005.11737
ER  -