Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.

Indranil Saha, Janardan Misra, Suman Roy

Browse the full ATVA paper archive.