Figure 2
From: Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Viral load, CD4 T and TNF over the course of time. (a) Time evolution of viral load and CD4 where mutation of V5 leads to V4 at around day t = 900 and opportunistic diseases (TB) appears at around day t = 2900 (b) dynamics of viral load and TNF over time.