Temporal Proof Methodologies for Real-time Systems (1991)

Cached

Download Links

by Thomas A. Henzinger , Zohar Manna , Amir Pnueli
Venue:In Proceedings of the 18th Annual Symposium on Principles of Programming Languages
Citations:63 - 11 self