Model checking the evolution of gene regulatory networks
Giacobbe, Mirco, Guet, Călin C., Gupta, Ashutosh, Henzinger, Thomas A., Paixão, Tiago, Petrov, TatjanaLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-016-0278-x
Date:
August, 2016
File:
PDF, 786 KB
english, 2016