Pages that link to "Item:Q5712418"
From MaRDI portal
The following pages link to Computational Methods in Systems Biology (Q5712418):
Displaying 9 items.
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- A logic of behaviour in context (Q2453209) (← links)
- \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Undecidability of model checking in brane logic (Q2864500) (← links)
- Modelling and Analysing Qualitative Biological Models using Rewriting Logic (Q4599813) (← links)
- A Formal Framework for Composing Qualitative Models of Biological Systems (Q5055976) (← links)
- Static Analysis (Q5466579) (← links)
- (Q5486047) (← links)