Gerhard Trefz

According to our database, Gerhard Trefz authored at least 1 paper in 1994.

Collaborative distances:

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

1994

STATEMATE.

Susanne Wiefel, Gerhard Trefz

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994