The temporal logic of programs

authors: Amir Pnueli

venue (conference): Proceedings of 18th Annual Symposium on Foundations of Computer Science (FOCS)

date: 1977

specification languages

• LTL

keywords

(nil)

URL

• https://dx.doi.org/10.1109/SFCS.1977.32 (auto-generated link)

BibTeX

@inproceedings{f95d7178-54c0-4f45-b77e-a5b9948ca325,
  title = {The temporal logic of programs},
  author = {Amir Pnueli},
  year = {1977},
  booktitle = {Proceedings of 18th Annual Symposium on Foundations of Computer Science (FOCS)},
}