Model checking gene regulatory networks

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 - https://www.scopus.com/pages/publications/84926649288

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 -