Pages that link to "Item:Q2909733"
From MaRDI portal
The following pages link to Static analysis of Biological Regulatory Networks dynamics using abstract interpretation (Q2909733):
Displaying 4 items.
- Under-approximation of reachability in multivalued asynchronous networks (Q276000) (← links)
- Sufficient conditions for reachability in automata networks with priorities (Q896709) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- Identification of biological regulatory networks from process hitting models (Q2513608) (← links)
