Burkhard Austermühl

According to our database, Burkhard Austermühl authored at least 4 papers between 1979 and 1987.

Collaborative distances:

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

1987

Erfahrungen mit dem Einsatz eines Testsystems für X.400 Message Handling Systems.

Burkhard Austermühl

Proceedings of the Kommunikation in Verteilten Systemen, 1987

1983

Ein relationaler Ansatz zur Beschreibung der statischen Semantik von Programmiersprachen.

Burkhard Austermühl

PhD thesis, 1983

1980

A Critical Review of PASCAL on a Formal Storage Model.

Burkhard Austermühl, Wolfgang Henhapl

Proceedings of the Programmiersprachen und Programmentwicklung, 1980

1979

PASCAL und INTERLISP?

Burkhard Austermühl, Rainer Lutze

Proceedings of the PASCAL, 1979