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