Bernd Baumgarten

• OSI conformance testing methodology and TTCN
• Testing of Communicating Systems
• ARBOL
• Diskrete Mathematik Kompakt
• Eine Bemerkung uber unsichere Kommunikation
• Gewichtete Räume differenzierbarer Funktionen
• Kompendium der diskreten Mathematik
• Modellierung und Verifikation eines Checkpoint-Restart-Verfahrens
• On internal and external characterizations of PT - net building block behaviour
• On Termination and Phase Changes in the Presence of Unreliable Communication
• The Signing of a Contract
• Uber interne und externe Charakterisierungen des Verhaltens von PT-Netz-Bausteinen