Two Decades of Temporal Logic: Achievements and Challenges (Abstract).

Amir Pnueli

Browse the full FOCS paper archive.