退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Petri网可达性检查是具有最佳抽象层次结构的多项式
机译:效率更高的时间Petri网状态空间抽象可用于对定时线性属性进行模型检查
机译:基于SMT的有界Petri网的可达性检查
机译:基于修改的可达树的一处无界Petri网的死锁检查
机译:有界Petri网的符号模型检查的编码方案比较。
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:论Petri网的多面体抽象与SMT模型检查的组合
机译:代码转换器网络确定二进制字的校验位,根据已知的多项式以数字形式表示,将基于二进制的信息分解为多项式
机译:通过通信关联元素来优化非分层自组织网络仅涉及与满足定义的连接最佳性条件的网络元素进行联网
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。