Scopus
EXPORT DATE: 3 February 2015

@CONFERENCE{Baarir2008235,
author={Baarir, S. and Beccuti, M. and Franceschinis, G.},
title={New solvers for asymmetric systems in GreatSPN},
journal={Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008},
year={2008},
pages={235-236},
art_number={4634976},
url={http://www.scopus.com/inward/record.url?eid=2-s2.0-56649123471&partnerID=40&md5=58e6cc5adf69ada650e80c9ca126dbc6},
document_type={Conference Paper},
source={Scopus},
}