Microsoft Research, One Microsoft Way, Redmond, WA, USA;
property specification language; C; assertion based verification;
机译:差分PSL与囊性纤维化的儿童的消除和持续的假单胞菌铜绿假单胞菌结合
机译:差分PSL与囊性纤维化的儿童的消除和持续的假单胞菌铜绿假单胞菌结合
机译:用于独立嵌入式原子方法的FCC结构分子动力学模拟的C语言包
机译:对PSL的C语绑定
机译:从C语言循环自动生成优化的数字设计的框架。
机译:铜绿假单胞菌的条件性Psl变体的分析揭示了Psl多糖在粘附中的作用并在附着后保持生物膜结构。
机译:$$ {{ mathrm {psl}}}(2, mathbb {c})的某些单词映射的调试性$$ psl(2,c)和$$ {{ mathrm {sl}}}(2, mathbb {c})$$ sl(2,c)