On probabilistic diagnosis of multiprocessor systems using multiple syndromes | IEEE Journals & Magazine | IEEE Xplore