Preemptive Job-Shop Scheduling Using Stopwatch Automata.

Yasmina Abdeddam, Oded Maler

Browse the full TACAS paper archive.