@Inproceedings{EPTCS151.12, author = {Carapelle, Claudia and Feng, Shiguang and Fern\'andez Gil, Oliver and Quaas, Karin}, year = {2014}, title = {On the Expressiveness of TPTL and MTL over $\omega$-Data Words}, editor = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automata and Formal Languages, {\rm Szeged, Hungary, May 27-29, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {151}, publisher = {Open Publishing Association}, pages = {174-187}, doi = {10.4204/EPTCS.151.12}, }