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
Volume
Pages 46-57
Oct 1977
Note(s): temporal logic, model checking