共 50 条
- [44] Verifying an Aircraft Proximity Characterization Method in Coq FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 86 - 101
- [45] Reconstruction of the Transcriptional Regulatory Network in Arabidopsis thaliana Aliphatic Glucosinolate Biosynthetic Pathway SAINS MALAYSIANA, 2018, 47 (12): : 2993 - 3002
- [48] Characterization of the 5′ region of human CoQ2, a gene causing primary CoQ10 deficiency BIOCHIMICA ET BIOPHYSICA ACTA-BIOENERGETICS, 2006, : 242 - 243