Jan Tobias Mühlberg

	2009
3		Jan Tobias Mühlberg, Gerald Lüttgen: Verifying Compiled File System Code. SBMF 2009: 306-320
2		Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88
	2006
1		Jan Tobias Mühlberg, Gerald Lüttgen: Blasting Linux Code. FMICS/PDMC 2006: 211-226

Coauthor Index

1	Andy Galloway	[2]
2	Gerald Lüttgen	[1] [2] [3]
3	Radu Siminiceanu	[2]