Mechanical verification of timed automata: a case study.

Myla Archer, Constance L. Heitmeyer

Browse the full RTAS paper archive.