Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Temporal Proof Methodologies for Real-time Systems
POPL, 1991.
@inproceedings{POPL-1991-HenzingerMP,
author = "Thomas A. Henzinger and Zohar Manna and Amir Pnueli",
booktitle = "{Conference Record of the 18th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/99583.99629",
editor = "David S. Wise",
isbn = "0-89791-419-8",
pages = "353--366",
publisher = "{ACM Press}",
title = "{Temporal Proof Methodologies for Real-time Systems}",
year = 1991,
}