A Syntactic Characterization of Distributive LTL Queries

Samer, Marko; Veith, Helmut

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}
}