Scopus
EXPORT DATE: 2 February 2015

@CONFERENCE{Amparore2013253,
author={Amparore, E.G. and Barbot, B. and Beccuti, M. and Donatelli, S. and Franceschinis, G.},
title={Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets},
journal={SIGSIM-PADS 2013 - Proceedings of the 2013 ACM SIGSIM Principles of Advanced Discrete Simulation},
year={2013},
pages={253-264},
url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84878626643&partnerID=40&md5=bdbe44e39fdc028b52e1c706dfd87f95},
document_type={Conference Paper},
source={Scopus},
}