@InProceedings{HKQ11,
author={H. Hansen and M. Kwiatkowska and H. Qu},
title={Partial order reduction for model checking Markov decision processes under unconditional fairness},
booktitle={Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11)},
year={2011},

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