Scopus
EXPORT DATE: 2 February 2015

@ARTICLE{Amparore2014354,
author={Amparore, E.G. and Beccuti, M. and Donatelli, S.},
title={(Stochastic) model checking in GreatSPN},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2014},
volume={8489 LNCS},
pages={354-363},
note={cited By 1},
url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84904131969&partnerID=40&md5=93dee742bb58b73ce5f4e14a47ebe6d6},
document_type={Conference Paper},
source={Scopus},
}