Joaquín Keller, Olivier Dubuisson. Formal Description of OSI Management Information Structure as a Prerequisite for Formal Specifications of TMN Interfaces. In Hans-Jürgen Kugler, Alvin P. Mullery, Norbert Niebert, editors, Towards a Pan-European Telecommunication Service Infrastructure - IS&N 94, Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7-9, 1994, Proceedings. Volume 851 of Lecture Notes in Computer Science, pages 433-442, Springer, 1994.
Abstract is missing.