@InProceedings{Gir12,
author={Sergio Giro},
title={Efficient computation of exact solutions for quantitative model checking},
booktitle={Proc. 10th Workshop on Quantitative Aspects of Programming Languages (QAPL'12)},
year={2012},

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