The Complexity of Propositional Linear Temporal Logics

authors: A. P. Sistla, E. M. Clarke

venue (journal): Journal of the Association for Computing Machinery

date: 1985

specification languages

• LTL

keywords

(nil)

URL

• https://dx.doi.org/10.1145/3828.3837 (auto-generated link)

BibTeX

@article{7621192f-428b-455e-8b82-f06afaa6e4cf,
  title = {The Complexity of Propositional Linear Temporal Logics},
  author = {A. P. Sistla AND E. M. Clarke},
  year = {1985},
  journal = {Journal of the Association for Computing Machinery},
}