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, - LIF - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2004-09-01 07:58:36 Open Document File Size: 290,96 KB Share Result on Facebook

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