Figure 3From: Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapyExperiments with HAART therapy. Therapy start from (a) day t = 250 to day t = 350 (b) day t = 950 to day t = 1050 (c) day t = 2250 to day t = 2350 and (d) day t = 3150 to day t = 3250.Back to article page