Approximation algorithms for the k-edge-connectivity augmentation problem | IEEE Conference Publication | IEEE Xplore