Harro Kremer

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1992
Protocol design using LOTOS: A critical synthesis of a standardization experience.
Proceedings of the Formal Description Techniques, 1992

1990
On the use of specification styles for automated protocol implementation from LOTOS to C.
Proceedings of the Protocol Specification, 1990


  Loading...