@InProceedings{Kwi07,
author={M. Kwiatkowska},
title={Quantitative Verification: Models, Techniques and Tools},
booktitle={Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
year={2007},

editor={},
pages={449-458},
organization={},
publisher={ACM Press},
series={},
volume={},
address={},
month={September},
note={},
key={}
}