Pages that link to "Item:Q2355694"
From MaRDI portal
The following pages link to Qualitative analysis of gene regulatory networks by temporal logic (Q2355694):
Displaying 4 items.
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic (Q2189295) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Temporal constraints in the logical analysis of regulatory networks (Q2474436) (← links)
- Temporal normal form for Linear Temporal Logic formulae1 (Q2988557) (← links)