@InProceedings{KN96a,
author={M. Kwiatkowska and G. Norman},
title={Probabilistic Metric Semantics for a Simple Language with Recursion},
booktitle={Proc. 21st International Symposium on Mathematical Foundations of Computer Science (MFCS'96)},
year={1996},

editor={W. Penczek and A. Szalas},
pages={419--430},
organization={},
publisher={Springer},
series={Lecture Notes in Computer Science},
volume={1113},
month={},
note={},
key={}
}