@InProceedings{Kwi13b,
author={M. Kwiatkowska},
title={Advances in Quantitative Verification for Ubiquitous Computing},
booktitle={Proc. 10th International Colloquium on Theoretical Aspects of Computing (ICTAC'13)},
year={2013},

editor={},
pages={42-58},
organization={},
publisher={Springer},
series={LNCS},
volume={8049},
address={},
month={},
note={},
key={}
}