TY  - RPRT
TI  - On Freeze LTL with Ordered Attributes
AU  - Normann Decker
AU  - Daniel Thoma
PY  - 2016
UR  - https://arxiv.org/abs/1504.06355
ID  - 1504.06355
ER  -