VAS; petri; presburger. reachability;
机译:具有状态的二维载体添加系统中的可达性:一个测试是免费的
机译:定时寄存器下推自动机和分支向量加法系统的二进制可达性
机译:定时登记推动自动机和分支矢量加法系统的二进制可达性
机译:成对向量加法系统中可达性的重写系统
机译:溶瘤腺病毒载体和癌症治疗:在免疫能力强的叙利亚仓鼠模型中评估宿主免疫系统在载体抗肿瘤功效和毒性中的作用
机译:非病毒载体到达年龄有多远在基因治疗中达到临床翻译?
机译:用对矢量加法系统重写可达性系统
机译:petri网和向量加法系统的可达性问题与活跃度问题的递推等价性,