Virus Propagation and Patch Distribution in Multiplex Networks: Modeling, Analysis, and Optimal Allocation | IEEE Journals & Magazine | IEEE Xplore