机译:高阶下推矢量加法系统的有界性问题
机译:高阶下推矢量加法系统的有界性问题
机译:定时寄存器下推自动机和分支向量加法系统的二进制可达性
机译:ML,可视下推类内存自动机和带有状态的扩展分支向量加法系统
机译:下推向量加法系统的有界性问题
机译:下推控制系统的可决策性和最佳性:一种离散事件控制的新方法。
机译:通过标量和稳定性结果刻画集值向量平衡问题解集的非空性和有界性
机译:关于下推向量加法系统的有界性问题
机译:petri网和向量加法系统的可达性问题与活跃度问题的递推等价性,