Temporal Proof Methodologies for Real-time Systems

Open Webpage

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Published: 1991, Last Modified: 27 Apr 2025POPL 1991EveryoneRevisionsBibTeXCC BY-SA 4.0