Hartmut König, Peter Neumann. Formale Beschreibungstechniken für Kommunikationsprotokolle: Problemem ihrer praktischen Anwendung. In Nina Gerner, Heinz-Gerd Hegering, Joachim Swoboda, editors, Kommunikation in Verteilten Systemen, ITG/GI-Fachtagung, München, 3.-5. März 1993. Informatik Aktuell, pages 545-559, Springer, 1993.
Abstract is missing.