@article{DaumDW-jarosv08, <br>AUTHOR = {Daum, Matthias and Dörrenbächer, Jan and Wolff, Burkhart},<br>TITLE = {Proving Fairness and Implementation Correctness of a Microkernel Scheduler},<br>VOLUME = {42, Numbers 2-4}, <br>YEAR = {2009},<br>PAGES = {349-388}, <br>URL = {http:///publikationen/DaumDW-jarosv08.pdf}, <br>BOOKTITLE = {Journal of Automated Reasoning: Special Issue on Operating System Verification}, <br>PUBLISHER = {Springer},<br>EDITOR = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian},<br>EE = {http://dx.doi.org/10.1007/s10817-009-9119-8},<br>}