TY  - RPRT
TI  - LTL Store: Repository of LTL formulae from literature and case studies
AU  - Jan Křetínský
AU  - Tobias Meggendorfer
AU  - Salomon Sickert
PY  - 2018
UR  - https://arxiv.org/abs/1807.03296
ID  - 1807.03296
ER  -