Model Checking Gene Regulatory Networks

DOI10.1007/978-3-662-46681-0_47zbMath1420.92041OpenAlexW2134272947MaRDI QIDQ5194958

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

Publication date: 17 September 2019

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46681-0_47

zbMATH Keywords

linear temporal logicgene regulatory networkmodel checkbound model checklabel transition system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Systems biology, networks (92C42)

Related Items (4)

Model checking the evolution of gene regulatory networks ⋮ A genetically modified Hoare logic ⋮ Unnamed Item ⋮ A formal methods approach to predicting new features of the eukaryotic vesicle traffic system

This page was built for publication: Model Checking Gene Regulatory Networks