Search
Now showing items 1-1 of 1
Specification and Verification of Network Managers for Large Internets
(University of Wisconsin-Madison Department of Computer Sciences, 1989)
Large internet environments are increasing the difficulty of network management. Integrating increasing numbers of autonomous subnetworks (each with an increasing number of hosts) makes it more difficult to determine if ...

