Model checking the evolution of gene regulatory networks

M. Giacobbe, Calin C. Guet, Ashutosh Gupta, T.A. Henzinger, T. Paixão, Tatjana Petrov

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalActa Informatica
DOIs
Publication statusPublished - 2017

Cite this