The following pages link to (Q4518928):
Displayed 4 items.
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains (Q3543299) (← links)
- Performance investigation of an on‐line auction system (Q4790970) (← links)