冯、袁;李三江;英明生 分布式量子程序的验证。 (英语) Zbl 1508.68218号 ACM事务处理。计算。日志。 23,第3条,第19条,40页(2022年).MSC公司:60年第68季度 03B70号 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,ACM Trans。计算。日志。23,第3号,第19条,40页(2022年;Zbl 1508.68218) 全文: 内政部 arXiv公司
英明生;李,杨佳;于能坤;冯、袁 量子系统线性时间特性的模型检验。 (英语) Zbl 1354.68090号 ACM事务处理。计算。日志。 第15号第3条第22条第31页(2014年).MSC公司:2012年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}等人,ACM Trans。计算。日志。15,第3号,第22条,第31页(2014;Zbl 1354.68090) 全文: 内政部 arXiv公司
冯、袁;邓玉欣;英明生 量子过程的符号互模拟。 (英语) Zbl 1291.68237号 ACM事务处理。计算。日志。 第15号第2条第14条第32页(2014年).MSC公司:第68季度55 68问题85 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,ACM Trans。计算。日志。15,第2号,第14条,第32页(2014;Zbl 1291.68237) 全文: 内政部 arXiv公司
英明生;冯、袁;段润耀;纪正峰 量子过程的代数。 (英语) Zbl 1351.68187号 ACM事务处理。计算。日志。 第10号第3条第19条第36页(2009年).MSC公司:68问题85 81页第45页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}等人,ACM Trans。计算。日志。10,第3号,第19条,36页(2009年;Zbl 1351.68187) 全文: 内政部 arXiv公司