2006

Experiments in the use of tau-simulations for the Verification of Timed Components (jul 2006, Research Report, Number RR2006-04)Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie