Wulfdieter Lehmann-Bauerfeld

• Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen