@dblp

An open tool to compute stochastic bounds on steady-state distributions and rewards.

, , , and . MASCOTS, page 219-. IEEE Computer Society, (2003)

Links and resources

Tags