APA Style
Zhang, Guo-Qiang, Abeysinghe, Rashmie, Cui, Licong. (2022).
Formal Methods for the Analysis of Biomedical Ontologies (1).
Switzerland:
Springer Cham.
Chicago Style
Zhang, Guo-Qiang, Abeysinghe, Rashmie, Cui, Licong.
Formal Methods for the Analysis of Biomedical Ontologies.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Zhang, Guo-Qiang, Abeysinghe, Rashmie, Cui, Licong.
Formal Methods for the Analysis of Biomedical Ontologies.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Zhang, Guo-Qiang, Abeysinghe, Rashmie, Cui, Licong.
Formal Methods for the Analysis of Biomedical Ontologies.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.