Model checking the evolution of gene regulatory networks

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{27350b65c6c2446588367ddb4ed3cb5f,

title = "Model checking the evolution of gene regulatory networks",

author = "M. Giacobbe and Guet, \{Calin C.\} and Ashutosh Gupta and T.A. Henzinger and T. Paix{\~a}o and Tatjana Petrov",

year = "2017",

doi = "10.1007/s00236-016-0278-x",

language = "English",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer",

}

TY - JOUR

T1 - Model checking the evolution of gene regulatory networks

AU - Giacobbe, M.

AU - Guet, Calin C.

AU - Gupta, Ashutosh

AU - Henzinger, T.A.

AU - Paixão, T.

AU - Petrov, Tatjana

PY - 2017

Y1 - 2017

UR - https://www.scopus.com/pages/publications/84983499661

U2 - 10.1007/s00236-016-0278-x

DO - 10.1007/s00236-016-0278-x

M3 - Article

SN - 0001-5903

JO - Acta Informatica

JF - Acta Informatica

ER -