Temporal logic patterns for querying dynamic models of cellular interaction networks

Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong. Temporal logic patterns for querying dynamic models of cellular interaction networks. In ECCB 08 Proceedings, Seventh European Conference on Computational Biology, 22-26 September 2008, Cagliari, Italy. pages 227-233, 2008. [doi]

Abstract

Abstract is missing.