Department of Computer Science, University of Pisa, Italy;
mobile ambients; bioambients calculus; static analysis; abstract interpretation;
机译:生物环境的途径分析
机译:Brane Calculi提供全局发生计数信息的静态分析
机译:分析不同主要目的母羊中体细胞计数和与细菌发生相关的危险因素
机译:生物蛋白值的新发生计数分析
机译:Swift Fox(Vulpees Velox),西部挖洞猫头鹰(八烯丝般的vervaea)和山地珩科鸟(Charadrius Montanus)上的山峰(Cynomys Ludovicianus)殖民地的殖民地概况和分层占用分析
机译:儿童急性淋巴细胞白血病连续变量(白细胞计数外周母细胞计数血红蛋白水平血小板计数和年龄)的预后研究。法国急性淋巴细胞白血病小组(FRALLE)治疗的1545名儿童的分析
机译:Brane Calculi提供全局发生计数信息的静态分析