The following pages link to (Q4413201):
Displayed 7 items.
- Pathway analysis for BioAmbients (Q953532) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- GemCell: A generic platform for modeling multi-cellular biological systems (Q2474439) (← links)
- Concurrency in Biological Modeling: Behavior, Execution and Visualization (Q2870303) (← links)
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862) (← links)
- Finding Lean Induced Cycles in Binary Hypercubes (Q3637155) (← links)