%0 Thesis %1 lehmannbauerfeld1984leistungsbercksichtigenden %A Lehmann-Bauerfeld, Wulfdieter %D 1984 %K %T Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen

@phdthesis{lehmannbauerfeld1984leistungsbercksichtigenden, added-at = {2023-12-12T17:54:16.000+0100}, author = {Lehmann-Bauerfeld, Wulfdieter}, biburl = {https://www.bibsonomy.org/bibtex/2f6405462dd2e8158341ca02df963917b/admin}, dnbtitleid = {850585538}, interhash = {0a7e39dfd92c683a9c1c869e97a0a238}, intrahash = {f6405462dd2e8158341ca02df963917b}, keywords = {}, school = {TU Berlin}, timestamp = {2023-12-12T17:54:16.000+0100}, title = {Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen}, year = 1984 }