Pages that link to "Item:Q2520667"
From MaRDI portal
The following pages link to Verification of spatial and temporal modalities in biochemical systems (Q2520667):
Displaying 7 items.
- Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- A logic of behaviour in context (Q2453209) (← 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)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries (Q6487260) (← links)