引用人 5 -
引用人 交叉引用引用 这本书已经 以下出版物引用。 此列表是根据提供的数据生成的 交叉参考 。
英明生 2021 形式化方法 。 第13047卷, 问题, 第页。 23
英明生 冯、袁 和 英盛刚 2021 量子马尔可夫决策过程的最优策略 。 国际自动化与计算杂志, 第18卷, 发布。 三, 第页。 410
苏里亚·西特加·德苏 阿努巴夫·斯利瓦斯塔瓦 和 M.V.Panduranga Rao 2022 时间系统的形式化建模与分析 。 第13465卷, 问题, 第页。 98
陈玉芳 凯民钟 Ondřej Lengál 林俊澳 和 蔡伟伦 2023 计算机辅助验证 。 第13966卷, 问题, 第页。 139
洪,欣 黄伟佳 魏成谦 冯、袁 谢敏秀 李三江 是的,恰顺 和 英明生 2023 量子电路符号验证的决策图 。 第页。 970
出版商: 剑桥大学出版社 在线发布日期: 2021年1月 印刷出版年份: 2021 在线ISBN: 9781108613323