Model checking the evolution of gene regulatory networks

DOI10.1007/s00236-016-0278-xzbMath1380.68273arXiv1410.7704OpenAlexW2518487536WikidataQ59604079 ScholiaQ59604079MaRDI QIDQ1683930

Ashutosh Gupta, Călin C. Guet, Tiago Paixão, Thomas A. Henzinger, Mirco Giacobbe, Tatjana Petrov

Publication date: 1 December 2017

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.7704

Mathematics Subject Classification ID

Problems related to evolution (92D15) Specification and verification (program logics, model checking, etc.) (68Q60) Genetics and epigenetics (92D10) Systems biology, networks (92C42)

Related Items (2)

Aeon 2021: bifurcation decision trees in Boolean networks ⋮ Symbolic coloured SCC decomposition

Uses Software

• z3

Cites Work

• Unnamed Item
• Unnamed Item
• Formal molecular biology
• Model Checking Gene Regulatory Networks

This page was built for publication: Model checking the evolution of gene regulatory networks