Detlef Schwier

	1998
3		Detlef Schwier, Friedrich W. von Henke: Mechanical Verification of Clock Synchronization Algorithms. FTRTFT 1998: 262-271
	1996
2		Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner: The TYPELAB Specification and Verification Environment. AMAST 1996: 604-607
	1995
1		Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier: Construction and Deduction Methods for the Formal Development of Software. KORSO Book 1995: 239-254

Coauthor Index

1	Axel Dold	[1]
2	Friedrich W. von Henke	[1] [2] [3]
3	Marko Luther	[2]
4	Holger Pfeifer	[2]
5	Harald Rueß	[1] [2]
6	Martin Strecker	[2]
7	Matthias Wagner	[2]