Paper

Data

Name Pnueli A (1977)

Description

Title The temporal logic of programs

References

Authors Pnueli A Show Other

Volume

First page 46

Last page 57

Publisher IEEE Computer Society Press

Pubmed ID

Year published 1977

Month published

Day published

Journal or book name Proceedings of 18th IEEE Annual Symposium on Foundations of Computer Science

Book Editor(s)

Missing References

Type

Digital Object Identifier

URL

Stated Usage

Species