Helmut Schelling

• Verfahren zur rechnergestützten, statischen Analyse der Entwurfsspezifikation von Prozessautomatisierungssystemen