The following pages link to BlenX (Q24302):
Displaying 18 items.
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Constructing and visualizing chemical reaction networks from pi-calculus models (Q470031) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Evolving BlenX programs to simulate the evolution of biological networks (Q959795) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Categories of timed stochastic relations (Q2805158) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- BLENX MODELS OF α-SYNUCLEIN AND PARKIN KINETICS IN NEUROPATHOLOGY OF PARKINSON'S DISEASE (Q3107939) (← links)
- BlenX Static and Dynamic Semantics (Q3184664) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study (Q4912378) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- The BlenX Language with Biological Transactions (Q5190984) (← links)
- Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
