@InProceedings{Kwi09,
author={M. Kwiatkowska},
title={On Quantitative Software Verification},
booktitle={Proc. 16th International SPIN Workshop},
year={2009},

editor={C. Pasareanu},
pages={2-3},
organization={},
publisher={Springer},
series={LNCS},
volume={5578},
address={},
month={},
note={},
key={}
}