1983
Journal Article
Title

Erfahrungen mit Netzen auf dem Gebiet der Verifikation von Kommunikationsprotokollen

Author(s)
Eckert, H.
Prinoth, R.
Journal
Language
German