Task Graph Scheduling using Timed Automata (2003)

by Y Abdeddaim, A Kerbaa, O Maler
Venue:IEEE Parallel and Distributed Processing Symposium