Parallel algorithms for verification and sensitivity analysis of minimum spanning trees | IEEE Conference Publication | IEEE Xplore