1990
Report
Title

Untersuchung der Anwendbarkeit von Invarianten auf die Verifikation eines Kommunikationsprotokolls gegen die berandeden Dienste

Author(s)
Lautenbach, K.
Publisher
Publishing Place
Sankt Augustin
Language
German