Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks.

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

Browse the full ECAI paper archive.