Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm.

Yahui Song, Wei-Ngan Chin

Browse the full TACAS paper archive.