Scopus EXPORT DATE: 2 February 2015 @ARTICLE{Amparore2013110, author={Amparore, E.G. and Ballarini, P. and Beccuti, M. and Donatelli, S. and Franceschinis, G.}, title={Expressing and computing passage time measures of GSPN models with HASL}, journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, year={2013}, volume={7927 LNCS}, pages={110-129}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84879669229&partnerID=40&md5=ad372be6f12c5b25f615d6f67c719fc8}, document_type={Conference Paper}, source={Scopus}, }