On the Verification and Correction of Large-Scale Kinetic Models in Systems Biology | Publicación