A framework for simulation and symbolic state space analysis of non-Markovian models (2011)

by L Carnevali, L Ridi, E Vicario
Venue:In SAFECOMP’11, vol. 6894 of LNCS