Die Benutzungsordnung tritt mit Wirkung vom 20. Januar 1994 in Kraft.
Ausgefertigt aufgrund des Beschlusses des Institutsvorstandes des Instituts für Informatik.