Scheduling with Timed Automata ? Yasmina Abdedda¨ım a Eugene Asarin b Oded Maler c,∗ a LIF, Universit´e de Provence, 39, rue F. Joliot Curie, 13453 Marseille, France b LIAFA,

First Page		Document Content
Date: 2004-09-01 07:58:36		Scheduling with Timed Automata ? Yasmina Abdedda¨ım a Eugene Asarin b Oded Maler c,∗ a LIF, Universit´e de Provence, 39, rue F. Joliot Curie, 13453 Marseille, France b LIAFA, Add to Reading List Source URL: www-verimag.imag.fr Download Document from Source Website File Size: 290,96 KB Share Document on Facebook