Scopus EXPORT DATE: 3 February 2015 @CONFERENCE{IliƩ2004324, author={IliƩ, J.M. and Baarir, S. and Beccuti, M. and Delamare, C. and Donatelli, S. and Dutheillet, C. and Franceschinis, G. and Gaeta, R. and Moreaux, P.}, title={Extended SWN solvers in GreatSPN}, journal={Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004}, year={2004}, pages={324-325}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-16244411311&partnerID=40&md5=d1e0a99ee9e838d00931397e3bb2b392}, document_type={Conference Paper}, source={Scopus}, }