Holger Taubig

	2008
1		Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Taubig, Dennis Walter: Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) 2008: 335-338

Coauthor Index

1	Udo Frese	[1]
2	Daniel Hausmann	[1]
3	Christoph Lüth	[1]
4	Dennis Walter	[1]