Citation: O. Henniger et al., SPECIFICATION AND TESTING OF THE BEHAVIOR OF NETWORK MANAGEMENT AGENTS USING SDL-92 (VOL 4, PG 951, 1996), IEEE/ACM transactions on networking, 5(2), 1997, pp. 328-328
Citation: O. Henniger et al., SPECIFICATION AND TESTING OF THE BEHAVIOR OF NETWORK MANAGEMENT AGENTS USING SDL-92, IEEE/ACM transactions on networking, 4(6), 1996, pp. 951-962