scientific article; zbMATH DE number 1950548

MaRDI QIDQ4413205zbMATH OpenFDO

Authors Sabine Peres, Jean-Paul Comet

Publication date 17 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2602/26020047.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Biochemistry, molecular biology (92C40)

Recommendations

• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Computation Tree Regular Logic for Genetic Regulatory Networks
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
• Bio-logics: logical analysis of bioregulatory networks

Cited in

(3)

• Modeling multi-valued biological interaction networks using fuzzy answer set programming
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Computation Tree Regular Logic for Genetic Regulatory Networks

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413205)