Temporal logic patterns for querying dynamic models of cellular interaction networks.

Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong

Browse the full ECCB paper archive.