Explicit Clock Temporal Logic

Eyal Harel, Orna Lichtenstein, Amir Pnueli

Browse the full LICS paper archive.