DNA computing formal verification probabilistic model checking DNA strand displacement;
机译:利用概率模型检验设计和分析DNA链置换设备
机译:基于链位移的贝叶斯DNA装置的概率推理
机译:使用自催化放大器模拟计算的紧凑型DNA绞线位移电路的设计与分析
机译:基于链位移的贝叶斯DNA装置的概率推理
机译:基于DNA链置换的电路设计
机译:Visual DSD:用于DNA链置换系统的设计和分析工具
机译:利用概率模型检验设计和分析DNa链置换装置
机译:在某些区间数值检验二元Goldbach猜想的概率复杂性。建模,分析和模拟。