Pages that link to "Item:Q2422008"
From MaRDI portal
The following pages link to Verifying chemical reaction network implementations: a bisimulation approach (Q2422008):
Displaying 8 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- 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)
- A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities (Q1694443) (← links)
- Verifying polymer reaction networks using bisimulation (Q2003997) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
- Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks (Q6079209) (← links)