Auction-Based Scheduling.

Guy Avni, Kaushik Mallik, Suman Sadhukhan

Browse the full TACAS paper archive.