Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.
Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin
Browse the full CAV paper archive.
Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin
Browse the full CAV paper archive.