Computation Tree Regular Logic for Genetic Regulatory Networks.

Radu Mateescu Pedro T. Monteiro Estelle Dumas Hidde de Jong Computation Tree Regular Logic for Genetic Regulatory Networks. 48-63 2008 ATVA http://dx.doi.org/10.1007/978-3-540-88387-6_6 conf/atva/2008 db/conf/atva/atva2008.html#MateescuMDJ08