Computation Tree Regular Logic for Genetic Regulatory Networks.

Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong

Browse the full ATVA paper archive.