Scopus EXPORT DATE: 4 October 2017 @ARTICLE{Ballarini201769, author={Ballarini, P. and Beccuti, M. and Bibbona, E. and Horvath, A. and Sirovich, R. and Sproston, J.}, title={Analysis of timed properties using the jump-diffusion approximation}, journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, year={2017}, volume={10497 LNCS}, pages={69-84}, doi={10.1007/978-3-319-66583-2_5}, note={cited By 0}, url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85029452872&doi=10.1007%2f978-3-319-66583-2_5&partnerID=40&md5=0ff9e09ee0f9f31b313b4380acf9b9ba}, document_type={Conference Paper}, source={Scopus}, }