Moritz Kleine

	2009
2		Moritz Kleine, Steffen Helke: Low-Level Code Verification Based on CSP Models. SBMF 2009: 266-281
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	Björn Bartels	[1]
2	Sabine Glesner	[1]
3	Thomas Göthel	[1]
4	Steffen Helke	[2]

Colors in the list of coauthors