机译:圆图的正式噬菌体遗传学理论
机译:莲ap共生的遗传学:重组自交系,比较遗传图谱和35个共生基因座的图谱位置
机译:莲ap共生的遗传学:重组自交系,比较遗传图谱和35个共生基因座的图谱位置。
机译:通过使用预定义的模板和映射规则来映射到Promela规范以减少返工,可以进行正式验证半正式要求
机译:形式语义和用例图的验证
机译:圆图的形式噬菌体遗传学理论
机译:正式的遗传图谱
机译:发展地中海果蝇的正式遗传学,Ceratitis Capitata Wied。 1976年12月1日至1980年2月29日期间的最终报告