@misc{indiciae48516338f057, title = {SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks}, author = {Frederic Didier and Thomas A. Henzinger and Maria Mateescu and Verena Wolf}, year = {2010}, url = {https://arxiv.org/abs/1005.2819}, note = {Source identifier: 1005.2819} }