Hermann Tjabben

According to our database, Hermann Tjabben authored at least 1 paper in 1996.

Collaborative distances:

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

1996

The Incremental Development of Correct Specifications for Distributed Systems.

Stephan Kleuker, Hermann Tjabben

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996