Oliver Terhorst

According to our database, Oliver Terhorst authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Formal Specification and Verification of Communication-Systems for designing in VHDL.

Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999