TY  - RPRT
TI  - On the Expressiveness of TPTL and MTL over ω-Data Words
AU  - Claudia Carapelle
AU  - Shiguang Feng
AU  - Oliver Fernández Gil
AU  - Karin Quaas
PY  - 2014
DO  - 10.4204/eptcs.151.12
UR  - https://arxiv.org/abs/1311.6250
ID  - 1311.6250
ER  -