Figure 5From: Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapyThe implementation of the stochastic model (Table 2) in the PRISM modelling language.Back to article page