C. Daws

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Reducing the number of clock variables of timed automata

C. Daws and others (1996) · IEEE Comput. Soc. Press

Two examples of verification of multirate timed automata with Kronos

C. Daws and others (1995) · IEEE Comput. Soc. Press