A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication

Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß. A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. In Hans Wössner, editor, Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings. Volume 53 of Informatik-Fachberichte, pages 105-116, Springer, 1982.

Authors

Reinhard Gotzhein

This author has not been identified. Look up 'Reinhard Gotzhein' in Google

S. Keramidis

This author has not been identified. Look up 'S. Keramidis' in Google

Manfred Reitenspieß

This author has not been identified. Look up 'Manfred Reitenspieß' in Google