A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Browse the full SAFECOMP paper archive.