Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra. Formal specification of multisimulations using Maude. In Gabriel Andrés Wainer, Pieter J. Mosterman, editors, 2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium. pages 22, SCS/ACM, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.