- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner: Verifying the Implementation of an Operating System Scheduler. TASE 2009: 285-286 |
| 1 | Björn Bartels | [1] |
| 2 | Sabine Glesner | [1] |
| 3 | Moritz Kleine | [1] |