@InProceedings{ABCK15,
author = {A. Abate and L. Brim and M. Ceska and M. Kwiatkowska},
title = {Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks},
booktitle = {27th International Conference on Computer Aided Verification (CAV), to appear},
year = {2015},
publisher = {Springer},
series = {LNCS},
volume = {},
pages = {},
editors = {}
}