@InProceedings{BBBK16,
author={Benoit Barbot and Nicolas Basset and Marc Beunardeau and Marta Kwiatkowska},
title={Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement},
booktitle={Proc. 13th International Conference on Quantitative Evaluation of SysTems (QEST'16)},
year={2016},

editors={},
pages={175-190},
organization={},
publisher={Springer},
series={LNCS},
volume={9826},
address={},
month={},
note={},
key={}
}