Model-Checking for Real-Time Systems

Rajeev Alur, Costas Courcoubetis, David L. Dill

Browse the full LICS paper archive.