Temporal logic patterns for querying dynamic models of cellular interaction networks

Abstract

GNA and the model of the carbon starvation response network are available at http://www-helix.inrialpes.fr/gna.