@InProceedings{Daum:DSSSV09-1,
  author =       "Matthias Daum",
  title =        "Temporal Fairness of a Microkernel Scheduler",
  pages =        "1--3",
  booktitle =    "Doctoral Symposium on Systems Software Verification
                 (DS SSV'09)",
  editor =       "Ralf Huuck and Gerwin Klein and Bastian Schlich",
  year =         "2009",
  month =        jun,
  publisher =    "Department of Computer Science, RWTH Aachen",
  series =       "Aachener Informatik Berichte",
  volume =       "AIB-2009-14",
  ee =           "http://aib.informatik.rwth-aachen.de/2009/2009-14.pdf",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Daum-ssv09ds-1.pdf",
}