Luigi Sassoli, Enrico Vicario. Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. In Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK. pages 59-68, IEEE Computer Society, 2007. [doi]
Abstract is missing.