School of Computing, National University of Singapore;
School of Computing, National University of Singapore;
School of Computing, National University of Singapore;
School of Computing, National University of Singapore;
School of Computing, National University of Singapore;
机译:单计数器进程和定时自动机的分支时间模型检查
机译:一计数器过程的分支时间模型检查
机译:SystemC中建模的硬件/软件协同设计的自动分析和抽象
机译:与过程计数抽象的公平模型检查
机译:用于字级模型检查的高效抽象和改进
机译:PD-L1检查点抑制和抗CTLA-4全肿瘤细胞疫苗抵抗适应性免疫抵抗:模仿人类疾病的小鼠神经母细胞瘤模型
机译:公平模型检查与过程计数器抽象