Detlef Schwier

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Mechanical Verification of Clock Synchronization Algorithms.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1996
The TYPELAB Specification and Verification Environment.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Construction and Deduction Methods for the Formal Development of Software.
Proceedings of the KORSO, 1995


  Loading...