Pages that link to "Item:Q2422010"
From MaRDI portal
The following pages link to Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010):
Displaying 7 items.
- Modular verification of chemical reaction network encodings via serializability analysis (Q288812) (← links)
- Testing binomiality of chemical reaction networks using comprehensive Gröbner systems (Q831995) (← links)
- On design and analysis of chemical reaction network algorithms (Q1616948) (← links)
- Verifying polymer reaction networks using bisimulation (Q2003997) (← links)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Computing with chemical reaction networks: a tutorial (Q6150974) (← links)