Hesham Saadawi, Gabriel Andrés Wainer. Verification of real-time DEVS models. In Gabriel Andrés Wainer, Clifford A. Shaffer, Robert M. McGraw, Michael J. Chinni, editors, Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009. SCS/ACM, 2009. [doi]
Abstract is missing.