@InProceedings{BCKL16,
author={Luca Bortolussi and Luca Cardelli and Marta Kwiatkowska and Luca Laurenti},
title={Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation},
booktitle={Proc. 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)},
year={2016},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
note={To appear.}
}