modelling environment for systems biology, with some unique features for static analysis or for inferring ... validate models with respect to such specifications, unique features for developing/correcting/completing/coupling models, including the inference...

fits into the combinatorial model of unique sink orientations whose rich structure has recently received ... variety of pivoting methods for unique sink orientations which have the potential of being fast...