< Back to Article

Model-checking ecological state-transition graphs

Table 1

Variables and controls of the Borana model.

The initial values of the variables are noted next to their symbols.

doi: https://doi.org/10.1371/journal.pcbi.1009657.t001