Alonso Inostrosa-Psijas, Veronica Gil Costa, Gabriel Andrés Wainer, Mauricio Marín. Formal verification of DEVS simulation: web search engine model case study. In Floriano De Rango, José Luis Risco-Martín, editors, Proceedings of the Summer Computer Simulation Conference, SummerSim 2016, Montreal, QC, Canada, July 24 - 27, 2016. pages 18, ACM, 2016. [doi]
Abstract is missing.