机译:毒素对Na + / K + -ATPase细胞能量反应的影响的概率模型检验分析
机译:评估Na + / K + -ATPase抑制剂palytoxin和ouabain对小鼠髓鞘坐骨神经纤维的神经毒性作用:离体电生理研究
机译:学习用于模型检查的概率模型:进化方法和实证研究
机译:一种概率模型检查方法探讨Na + / K + -ATP酶的甲状腺毒素作用
机译:通过分子动力学模拟对Na +,K + -ATPase中离子渗透和结合的时空分析。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于petri网和概率模型检验的Internet蠕虫传播建模,仿真与验证方法。