by Marko Samer, Helmut Veith
Reference:
A Syntactic Characterization of Distributive LTL QueriesMarko Samer, Helmut VeithAutomata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella, eds.), pages 1099–1110, 2004, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/icalp/SamerV04,
author = {Marko Samer and Helmut Veith},
title = {A Syntactic Characterization of Distributive LTL Queries},
year = {2004},
booktitle = {Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings},
editor = {Josep D\'{\i}az and Juhani Karhum{\"a}ki and Arto Lepist{\"o} and Donald Sannella},
pages = {1099--1110},
publisher = {Springer},
isbn = {3-540-22849-7},
url = {http://springerlink.metapress.com/openurl.asp?genre$=$article\&issn$=$0% 302-9743\&volume$=$3142\&spage$=$1099}
}