@InProceedings{GR12,
author={S. Giro and M. Rabe},
title={Verification of Partial-Information Probabilistic Systems using Counterexample-Guided Refinements},
booktitle={Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12)},
year={2012},

editor={},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
note={To appear},
key={}
}