Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach

DOI10.1016/j.entcs.2013.11.008zbMath1337.92081OpenAlexW1994875007WikidataQ113317939 ScholiaQ113317939MaRDI QIDQ276005

Sheema Sameen, Usman Rauf, Antonio Cerone

Publication date: 26 April 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2013.11.008

zbMATH Keywords

model checkingbinary decision diagrams (BDDs)biological regulatory networks (BRNs)computational tree logic (CTL)

Mathematics Subject Classification ID

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

Related Items (1)

Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach

Uses Software

• SPIN
• jSpin

Cites Work

• Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Modeling gene regulatory networks with piecewise linear differential equations
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Temporal constraints in the logical analysis of regulatory networks
• Computation Tree Regular Logic for Genetic Regulatory Networks
• Applications and Theory of Petri Nets 2004
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach