Applications of Modal Logic for the Specification of Real-Time Systems.

Liang Chen, Alistair Munro

Browse the full FM paper archive.