%0 Journal Article %1 journals/jcb/PicardSB17 %A Picard, Vincent %A Siegel, Anne %A Bourdon, Jérémie %D 2017 %J J. Comput. Biol. %K %N 8 %P 734-745 %T A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks. %U http://dblp.uni-trier.de/db/journals/jcb/jcb24.html#PicardSB17 %V 24

@article{journals/jcb/PicardSB17, added-at = {2023-12-14T15:45:32.000+0100}, author = {Picard, Vincent and Siegel, Anne and Bourdon, Jérémie}, biburl = {https://www.bibsonomy.org/bibtex/25447d4baab29d51609ab6789412247c7/admin}, ee = {https://www.wikidata.org/entity/Q88470374}, interhash = {ef260fd2ff1b08633339a0dd47a46216}, intrahash = {5447d4baab29d51609ab6789412247c7}, journal = {J. Comput. Biol.}, keywords = {}, number = 8, pages = {734-745}, timestamp = {2023-12-14T15:45:32.000+0100}, title = {A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks.}, url = {http://dblp.uni-trier.de/db/journals/jcb/jcb24.html#PicardSB17}, volume = 24, year = 2017 }