TY - RPRT TI - Computing performability measures in Markov chains by means of matrix functions AU - Giulio Masetti AU - Leonardo Robol PY - 2019 UR - https://arxiv.org/abs/1803.06322 ID - 1803.06322 ER -