A standardized SBML/PRISM benchmark library for stochastic model checking in synthetic biology.

Ahmadi M, Israelsen B, Jeppson J, Roberts R, Taylor L, Thomas PJ, Winstead C, Zhang Z, Zheng H, Myers CJ, Buecherl L

Open source

DOI
10.1515/jib-2026-0002
Published
2026 Sep 2
Container
Journal of integrative bioinformatics
Publisher
Not recorded
Open access
unknown

Credibility signals

limited evidence Score 43/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.1515/jib-2026-0002,
  title = {A standardized SBML/PRISM benchmark library for stochastic model checking in synthetic biology.},
  author = {Ahmadi M and Israelsen B and Jeppson J and Roberts R and Taylor L and Thomas PJ and Winstead C and Zhang Z and Zheng H and Myers CJ and Buecherl L},
  year = {2026},
  journal = {Journal of integrative bioinformatics},
  doi = {10.1515/jib-2026-0002},
  url = {https://doi.org/10.1515/jib-2026-0002}
}

RIS

TY  - JOUR
TI  - A standardized SBML/PRISM benchmark library for stochastic model checking in synthetic biology.
AU  - Ahmadi M
AU  - Israelsen B
AU  - Jeppson J
AU  - Roberts R
AU  - Taylor L
AU  - Thomas PJ
AU  - Winstead C
AU  - Zhang Z
AU  - Zheng H
AU  - Myers CJ
AU  - Buecherl L
PY  - 2026
JO  - Journal of integrative bioinformatics
DO  - 10.1515/jib-2026-0002
UR  - https://doi.org/10.1515/jib-2026-0002
ER  - 

APA

M, A., B, I., J, J., R, R., L, T., PJ, T., C, W., Z, Z., H, Z., CJ, M., & L, B. (2026). A standardized SBML/PRISM benchmark library for stochastic model checking in synthetic biology.. Journal of integrative bioinformatics. https://doi.org/10.1515/jib-2026-0002

Source records