Mark A. Miller
DigiNet Corp., Denver, CO
A Formal Approach to Model SNMP Network Management Systems
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks