Author:
Troják Matej,Šafránek David,Brozmann Branislav,Brim Luboš
Publisher
Springer International Publishing
Reference24 articles.
1. Anaconda software distribution (2020). https://docs.anaconda.com/
2. Afgan, E., et al.: The Galaxy platform for accessible, reproducible and collaborative biomedical analyses: 2018 update. Nucleic Acids Res. 46(W1), 537–544 (2018)
3. Bornstein, B.J., Keating, S.M., Jouraku, A., Hucka, M.: libSBML: an API library for SBML. Bioinformatics 24(6), 880–881 (2008)
4. Calzone, L., Fages, F., Soliman, S.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805–1807 (2006)
5. Casagrande, A.: pyModelChecking (2022). https://pypi.org/project/pyModelChecking
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献