Harro Kremer

According to our database, Harro Kremer authored at least 2 papers between 1990 and 1992.

Collaborative distances:

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

1992

Protocol design using LOTOS: A critical synthesis of a standardization experience.

Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo

Proceedings of the Formal Description Techniques, 1992

1990

On the use of specification styles for automated protocol implementation from LOTOS to C.

Peter van Eijk, Harro Kremer, Marten van Sinderen

Proceedings of the Protocol Specification, 1990