@InProceedings{BK97,
author={C. Baier and M. Kwiatkowska},
title={Automatic Verification of Liveness Properties of Randomized Systems (Extended Abstract)},
booktitle={Proc. Symposium on Principles of Distributed Computing (PODC'97)},
year={1997},

editor={},
pages={295},
organization={},
publisher={ACM Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}