@article{CKL16c,
title = "Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation ",
journal = "Biosystems ",
volume = "",
number = "",
pages = " - ",
year = "2016",
note = "",
issn = "0303-2647",
doi = "http://dx.doi.org/10.1016/j.biosystems.2016.09.004",
url = "http://www.sciencedirect.com/science/article/pii/S0303264716302039",
author = "Luca Cardelli and Marta Kwiatkowska and Luca Laurenti",
keywords = "Chemical Reaction Networks",
keywords = "Linear Noise Approximation",
keywords = "Probabilistic Logic",
keywords = "Model Checking "
}