Inproceedings,
Formal specification of multisimulations using Maude.
L. Jalali, C. Talcott, N. Venkatasubramanian, and S. Mehrotra.SpringSim (TMS-DEVS), page 22. SCS/ACM, (2012)
Meta data
- BibTeX key
- conf/springsim/JalaliTVM12
- entry type
- inproceedings
- booktitle
- SpringSim (TMS-DEVS)
- year
- 2012
- pages
- 22
- publisher
- SCS/ACM
- crossref
- conf/springsim/2012-4
- ee
- http://dl.acm.org/citation.cfm?id=2346638
- isbn
- 978-1-61839-786-7
- url
- http://dblp.uni-trier.de/db/conf/springsim/springsim2012-4.html#JalaliTVM12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/springsim/JalaliTVM12
%A Jalali, Leila
%A Talcott, Carolyn L.
%A Venkatasubramanian, Nalini
%A Mehrotra, Sharad
%B SpringSim (TMS-DEVS)
%D 2012
%E Wainer, Gabriel A.
%E Mosterman, Pieter J.
%I SCS/ACM
%K dblp
%P 22
%T Formal specification of multisimulations using Maude.
%U http://dblp.uni-trier.de/db/conf/springsim/springsim2012-4.html#JalaliTVM12
%@ 978-1-61839-786-7
@inproceedings{conf/springsim/JalaliTVM12,
added-at = {2012-10-13T00:00:00.000+0200},
author = {Jalali, Leila and Talcott, Carolyn L. and Venkatasubramanian, Nalini and Mehrotra, Sharad},
biburl = {https://www.bibsonomy.org/bibtex/2af9008903cec49ec4369f6d966e65bb8/dblp},
booktitle = {SpringSim (TMS-DEVS)},
crossref = {conf/springsim/2012-4},
editor = {Wainer, Gabriel A. and Mosterman, Pieter J.},
ee = {http://dl.acm.org/citation.cfm?id=2346638},
interhash = {8d0200a40612f4e386f2a4590585065e},
intrahash = {af9008903cec49ec4369f6d966e65bb8},
isbn = {978-1-61839-786-7},
keywords = {dblp},
pages = 22,
publisher = {SCS/ACM},
timestamp = {2012-10-16T11:40:24.000+0200},
title = {Formal specification of multisimulations using Maude.},
url = {http://dblp.uni-trier.de/db/conf/springsim/springsim2012-4.html#JalaliTVM12},
year = 2012
}