Verifying Abstractions of Timed Systems.

Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton

Browse the full CONCUR paper archive.