The temporal logic of programs

Amir Pnueli
[doi] [Google Scholar] [DBLP] [Citeseer]

18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
Volume
Pages 46-57
Oct 1977
Note(s): temporal logic, model checking

Temporal logic