Temporal Logic for Scenario-Based Specifications.

Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps

Browse the full TACAS paper archive.