Original language | English |
---|---|
Journal | Acta Informatica |
DOIs | |
Publication status | Published - 2017 |
Model checking the evolution of gene regulatory networks
M. Giacobbe, Calin C. Guet, Ashutosh Gupta, T.A. Henzinger, T. Paixão, Tatjana Petrov
Research output: Contribution to journal › Article › peer-review