School of Computing National University of Singapore;
rnSchool of Computing National University of Singapore;
rnSchool of Computing National University of Singapore;
simulation; model checking; fairness; SAT solvers;
机译:分析仪处理具有扩展循环前缀的LTE信号
机译:橡胶工艺分析仪具有扩展的动态范围的新特性
机译:过程代数合成中的集成信息
机译:扩展成分过程代数的分析器
机译:minimax代数中的矩阵分解及其在图像处理中的应用。
机译:过程 - 代数组合物中的综合信息
机译:在过程代数pmC中描述信号分析器 - 案例研究
机译:过程代数中的异步通信(扩展摘要)