Equivalence Verification of Timed Transition Models. - Mark Lawford; Hong Zhang 016 (ACSD, 2004)

Towards Integrated Verification of Timed Transition Models. - Mark Lawford; Vera Pantelic; Hong Zhang 016 (Fundam. Informaticae, 2006)