Björn Bartels

	2009
1		Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner: Verifying the Implementation of an Operating System Scheduler. TASE 2009: 285-286

Coauthor Index

1	Sabine Glesner	[1]
2	Thomas Göthel	[1]
3	Moritz Kleine	[1]