Figure 4From: Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapyA limited fragment of the time course of Viruses, CD4 T cells and TB bacteria in the case of (a) no treatment and (b) treatment with HAART.Back to article page