Moshe Y. Vardi. Automata-theoretic techniques for temporal reasoning. In Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter, editors, Handbook of Modal Logic. Volume 3 of Studies in logic and practical reasoning, pages 971-989, North-Holland, 2007. [doi]
@incollection{Vardi07-0,
title = {Automata-theoretic techniques for temporal reasoning},
author = {Moshe Y. Vardi},
year = {2007},
doi = {10.1016/s1570-2464(07)80020-6},
url = {https://doi.org/10.1016/s1570-2464(07)80020-6},
researchr = {https://researchr.org/publication/Vardi07-0},
cites = {0},
citedby = {0},
pages = {971-989},
booktitle = {Handbook of Modal Logic},
editor = {Patrick Blackburn and J. F. A. K. van Benthem and Frank Wolter},
volume = {3},
series = {Studies in logic and practical reasoning},
publisher = {North-Holland},
isbn = {978-0-444-51690-9},
}