...
机译:有限的可达性问题在FIFO机器中可判定
FIFO machinesreachabilityunderapproximationcounter machines;
机译:分段FIFO系统中的可达性问题
机译:具有非常规配置的FIFO通道系统的符号可达性分析
机译:基于1 / m的干扰界限在全局EDF和FIFO调度分析中的无效性
机译:最内心的可达性和背景敏感的可判定性是线性右浅期重写系统可判定
机译:具有可预测的绑定预测的正式直觉集合论。
机译:评估注射器分配机和移动面包车出口在接触难以到达和高风险的注射吸毒人群(IDU)中的作用:回顾
机译:多项式时间内对抗排队模型下分组交换FIFO网络的稳定性判定