"Formal Simulation and Analysis of the CASH Scheduling Algorithm in ..."

Peter Csaba Ölveczky, Marco Caccamo (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics