TY  - RPRT
TI  - LTL Fragments are Hard for Standard Parameterisations
AU  - Martin Lück
AU  - Arne Meier
PY  - 2015
UR  - https://arxiv.org/abs/1504.06187
ID  - 1504.06187
ER  -