@MASTERSTHESIS{Razi1995studien, author = {Masoud Razi}, title = {Verhaltensspezifikation von Diensten in offenen Client/Server-Umgebungen}, school = {Universität Hamburg, Fachbereich Informatik}, year = {1995}, type = {Studienarbeit}, address = {Vogt-Kölln-Str. 30, 22527 Hamburg, Germany}, month = {3} }