Project-team Contraintes, INRIA Paris-Rocquencourt, France;
rnProject-team Contraintes, INRIA Paris-Rocquencourt, France;
rnProject-team Contraintes, INRIA Paris-Rocquencourt, France;
机译:通过模型检查技术辅助逻辑模型规范:在哺乳动物细胞周期调控中的应用
机译:DNA复制和中心重复循环的解耦是哺乳动物体细胞中单倍体不稳定性的主要原因
机译:外层气液注射对ASDEX升级ICRF耦合的影响:迈向艾特气体注入建模
机译:在使用模型检查的耦合模型上:Irinotecan注入对哺乳动物细胞周期的影响
机译:哺乳动物细胞周期的计算模型。
机译:DNA复制和中心重复循环的解耦是哺乳动物体细胞中单倍体不稳定性的主要原因
机译:使用模型检验的耦合模型:伊立替康注射对哺乳动物细胞周期的影响
机译:氯化甲基汞对培养的哺乳动物细胞周期的抑制和毒性作用