@InProceedings{Kwi03,
author={M. Kwiatkowska},
title={Model Checking for Probability and Time: From Theory to Practice},
booktitle={Proc. 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03)},
year={2003},

editor={},
pages={351-360},
organization={},
publisher={IEEE Computer Society Press},
series={},
volume={},
address={},
month={},
note={Invited Paper.},
key={}
}