Availability evaluation of MIN-connected multiprocessors using decomposition technique | IEEE Conference Publication | IEEE Xplore