Scopus
EXPORT DATE: 2 February 2015

@CONFERENCE{Amparore2011101,
author={Amparore, E.G. and Beccuti, M. and Donatelli, S. and Franceschinis, G.},
title={Probe automata for passage time specification},
journal={Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011},
year={2011},
pages={101-110},
art_number={6042034},
note={cited By 2},
url={http://www.scopus.com/inward/record.url?eid=2-s2.0-80055034486&partnerID=40&md5=08b4aa1f0b5ec898658651407610c395},
document_type={Conference Paper},
source={Scopus},
}