State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.

Laura Carnevali Leonardo Grassi Enrico Vicario State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. 178-194 2009 35 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2008.101 db/journals/tse/tse35.html#CarnevaliGV09