The temporal logic of programs

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): September 1977

Pages: 46-57

Article

DOI: 10.1109/SFCS.1977.32

SO-VID: 1b8e8599-cc49-4203-a015-10c6850dc3cd

Conference name: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)

Conference location: Providence, RI, USA

Conference date: November 31, 1977 - December 2, 1977

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.