DMCA

E.: State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models (2009)

Cached

Download Links

by Laura Carnevali , Leonardo Grassi , Enrico Vicario
Venue:IEEE Trans. on SW Eng
Citations:22 - 17 self