Detlef Schwier

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Detlef Schwier, Friedrich W. von Henke
Mechanical Verification of Clock Synchronization Algorithms. FTRTFT (1998)
Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
The TYPELAB Specification and Verification Environment. AMAST (1996)