Find Any Book
Source ↗
Finite-Horizon Bisimulation Minimisation for Probabilistic SystemsUnknown author · Rights: US