A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks

Journal of Computational Biology - United States
doi 10.1089/cmb.2017.0099