@InProceedings{HK97,
author={Michael Huth and Marta Kwiatkowska},
title={Quantitative Analysis and Model Checking},
booktitle={Proc. 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97)},
year={1997},

editor={},
pages={111--122},
organization={},
publisher={IEEE Computer Society Press},
address={},
month={March},
note={},
key={}
}