Model Checking Gene Regulatory Networks
From MaRDI portal
Publication:5194958
DOI10.1007/978-3-662-46681-0_47zbMath1420.92041MaRDI 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
linear temporal logic; gene regulatory network; model check; bound model check; label transition system
68Q60: Specification and verification (program logics, model checking, etc.)
92C42: Systems biology, networks
Related Items