Chungman Seo, Bernard P. Zeigler, Doohwan Kim. DEVS markov modeling and simulation: formal definition and implementation. In Ferrando Barros, Xiaolin Hu 0002, Joachim Denil, Hessam S. Sarjoughian, editors, Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018. ACM, 2018. [doi]
Abstract is missing.