Corrections to "Specification and testing of the behavior of network management agents using SDL-92"
Authors:
O. Henninger;M. Barbeau;B. Sarikaya
Affiliations:
GMD, German National Research Center for Information Technology, Darmstadt, Germany;University of Sherbrooke, Que., Canada;University of Aizu, Aizu-Wakamatsu, Fukushima, Japan