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

Pedro T. Monteiro Delphine Ropers Radu Mateescu Ana T. Freitas Hidde de Jong Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. 229-233 2008 ECAI http://dx.doi.org/10.3233/978-1-58603-891-5-229 conf/ecai/2008 db/conf/ecai/ecai2008.html#MonteiroRMFJ08