E.: Partial stochastic characterization of timed runs over DBM domains (2009)

by L Carnevali, L Ridi, Vicario
Venue:In: Proc. of the 9th International Workshop on Performability Modeling of Computer and Communication Systems