Scheduling Distributed Real-Time Systems by Satisfiability Checking.

Alexander Metzner, Martin Frnzle, Christian Herde, Ingo Stierand

Browse the full RTCSA paper archive.