Model checking gene regulatory networks

M. Giacobbe, Calin C. Guet, Ashutosh Gupta, T.A. Henzinger, Tiago Paixao, Tatjana Petrov

Research output: Book/Report › Book

Access to Document

TY - BOOK

T1 - Model checking gene regulatory networks

AU - Giacobbe, M.

AU - Guet, Calin C.

AU - Gupta, Ashutosh

AU - Henzinger, T.A.

AU - Paixao, Tiago

AU - Petrov, Tatjana

PY - 2015

Y1 - 2015

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84926649288&partnerID=MN8TOARS

U2 - 10.1007/978-3-662-46681-0_47

DO - 10.1007/978-3-662-46681-0_47

M3 - Book

BT - Model checking gene regulatory networks

ER -