Scopus
EXPORT DATE: 3 February 2015

@CONFERENCE{Beccuti2006211,
author={Beccuti, M. and Franceschinis, G. and Baarir, S. and Ilié, J.-M.},
title={Efficient lumpability check in partially symmetric systems},
journal={Third International Conference on the Quantitative Evaluation of Systems, QEST 2006},
year={2006},
pages={211-220},
art_number={1704015},
url={http://www.scopus.com/inward/record.url?eid=2-s2.0-41149158111&partnerID=40&md5=2a18a7260a1e3ca0b0ddaaa543635430},
document_type={Conference Paper},
source={Scopus},
}