@InProceedings{RPNdA08,
author={P. Roy and D. Parker and G. Norman and L. de Alfaro},
title={Symbolic Magnifying Lens Abstraction in {Markov} Decision Processes},
booktitle={Proc. 5th International Conference on Quantitative Evaluation of Systems (QEST'08)},
year={2008},

editor={},
pages={103-112},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}