Pages that link to "Item:Q989287"
From MaRDI portal
The following pages link to Abstract interpretation based verification of temporal properties for BioAmbients (Q989287):
Displaying 9 items.
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- Predictors for flat membrane systems (Q1643137) (← links)
- Generalized contexts for reaction systems: definition and study of dynamic causalities (Q1745347) (← links)
- Characterization and computation of ancestors in reaction systems (Q2157013) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems (Q2975901) (← links)
- Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks (Q5164854) (← links)
- A Global Occurrence Counting Analysis for Brane Calculi (Q5743592) (← links)
