Model Checking Gene Regulatory Networks.

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixo, Tatjana Petrov

Browse the full TACAS paper archive.