TY - RPRT TI - SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks AU - Frederic Didier AU - Thomas A. Henzinger AU - Maria Mateescu AU - Verena Wolf PY - 2010 UR - https://arxiv.org/abs/1005.2819 ID - 1005.2819 ER -