Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic (Q80282566)
Jump to navigation
Jump to search
scientific article published on 01 August 2004
Language | Label | Description | Also known as |
---|---|---|---|
English | Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic |
scientific article published on 01 August 2004 |
Statements
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic (English)
Gilles Bernot
Jean-Paul Comet
Adrien Richard