48 citations · 124 across the 18 of their papers we have counts for
1 paper · 2 filters
Luca Bortolussi, Jane Hillston
In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the be…