TY  - RPRT
TI  - Model Checking Gene Regulatory Networks
AU  - Mirco Giacobbe
AU  - Calin C. Guet
AU  - Ashutosh Gupta
AU  - Thomas A. Henzinger
AU  - Tiago Paixao
AU  - Tatjana Petrov
PY  - 2015
UR  - https://arxiv.org/abs/1410.7704
ID  - 1410.7704
ER  -