DMCA

Model checking Gene Regulatory Networks

by Mirco Giacobbe , Călin C. Guet , Ashutosh Gupta , Thomas A. Henzinger , Tatjana Petrov