A new computer virus model with impulsive vaccination and saturation effect | IEEE Conference Publication | IEEE Xplore