Detlef Schwier

According to our database, Detlef Schwier authored at least 3 papers between 1995 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Mechanical Verification of Clock Synchronization Algorithms.

Detlef Schwier, Friedrich W. von Henke

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1996

The TYPELAB Specification and Verification Environment.

Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Construction and Deduction Methods for the Formal Development of Software.

Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier

Proceedings of the KORSO, 1995