A Formal Approach to Model SNMP Network Management Systems.

Jianxin Li, Benjamin J. Leon

Browse the full ICCCN paper archive.