The following pages link to (Q4551136):
Displaying 7 items.
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (Q1884863) (← links)
- An efficient algorithm for computing bisimulation equivalence (Q1884935) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- DEL Planning and Some Tractable Cases (Q3094006) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- Rank-Based Symbolic Bisimulation (Q4916208) (← links)
- An Incremental Bisimulation Algorithm (Q5458835) (← links)
