@inproceedings{Daum-ssv09ds-1,
AUTHOR = {Daum, Matthias},
TITLE = {Temporal Fairness of a Microkernel Scheduler},
VOLUME = {AIB-2009-14},
YEAR = {2009},
PAGES = {1-3},
SERIES = {Aachener Informatik Berichte},
BOOKTITLE = {Doctoral Symposium on Systems Software Verification (DS SSV'09)},
PUBLISHER = {RWTH Aachen University},
EDITOR = {Huuck, R. and Klein, G. and Schlich, B.},
EE = {http://aib.informatik.rwth-aachen.de/2009/2009-14.pdf},
}