Delay-bounded scheduling. (2011)

by M Emmi, S Qadeer, Z Rakamaric
Venue:In Principles of Programming Languages,