Figure 6From: Tav4SB: integrating tools for analysis of kinetic models of biological systemsA scheme of the MAPK cascade model and a list of verified properties from the PRISM Web page [16].Back to article page