...
机译:使用共享状态和持续时间演算事件的符号指定生产单元的并行控制器
机译:使用持续时间计算来验证可编程逻辑控制器系统
机译:用于
机译:<内联公式>
机译:从持续时间微积分合成控制器
机译:用于并行计算的共享数据空间方法:Swarm编程模型,符号和逻辑。
机译:通过电穿孔进行DNA疫苗接种可扩大与HIV控制者共享的广泛交叉限制的公共TCR克隆型
机译:从持续时间演算合成控制器
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性