Login / Signup

Temporal Proof Methodologies for Real-time Systems.

Thomas A. HenzingerZohar MannaAmir Pnueli
Published in: POPL (1991)
Keyphrases