Sufficiency verification of HIV-1 pathogenesis based on multi-agent simulation. - Zaiyi Guo; Hann Kwang Han; Joc Cing Tay (GECCO, 2005)