Rodrigo Castro, Ernesto Kofman, Gabriel Andrés Wainer. A formal framework for stochastic DEVS modeling and simulation. In Hassan Rajaei, Gabriel Andrés Wainer, Michael J. Chinni, editors, Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008. pages 421-428, SCS/ACM, 2008. [doi]
Abstract is missing.