The following pages link to (Q5687213):
Displaying 7 items.
- Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
- Exact performance equivalence: An equivalence relation for stochastic automata (Q1285589) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Estimation of cell lineage trees by maximum-likelihood phylogenetics (Q2233179) (← links)
- Fluid approximation of broadcasting systems (Q2306023) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- The PSR methodology: Integrating hardware and software models (Q4633160) (← links)
