Pages that link to "Item:Q2003997"
From MaRDI portal
The following pages link to Verifying polymer reaction networks using bisimulation (Q2003997):
Displaying 6 items.
- Reachability bounds for chemical reaction networks and strand displacement systems (Q268448) (← links)
- \(CRN \mathrm{++}\): molecular programming language (Q1621124) (← links)
- Proving the absence of unbounded polymers in rule-based models (Q2229134) (← links)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
- Computing with chemical reaction networks: a tutorial (Q6150974) (← links)