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]
@inproceedings{JalaliTVM12, title = {Formal specification of multisimulations using Maude}, author = {Leila Jalali and Carolyn L. Talcott and Nalini Venkatasubramanian and Sharad Mehrotra}, year = {2012}, url = {http://dl.acm.org/citation.cfm?id=2346638}, researchr = {https://researchr.org/publication/JalaliTVM12}, cites = {0}, citedby = {0}, pages = {22}, booktitle = {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}, editor = {Gabriel Andrés Wainer and Pieter J. Mosterman}, publisher = {SCS/ACM}, isbn = {978-1-61839-786-7}, }