Corrections To "Specification And Testing Of The Behavior Of Network Management Agents Using SDL-92" | IEEE Journals & Magazine | IEEE Xplore