@InProceedings{HK98,
author={M. Huth and M. Kwiatkowska},
title={Comparing {CTL} and {PCTL} on Labeled {M}arkov Chains},
booktitle={Proc. PROCOMET'98},
year={1998},

editor={},
pages={},
organization={IFIP},
publisher={Chapman \& Hall},
address={},
month={February},
note={},
key={}
}