Model checking QCTL plus on quantum Markov chains.
Saved in:
| Title: | Model checking QCTL plus on quantum Markov chains. |
|---|---|
| Authors: | Xu, Ming1, mxu@cs.ecnu.edu.cn, Fu, Jianling1, scsse_fjl2015@126.com, Mei, Jingyi1, mjyecnu@163.com, Deng, Yuxin1, yxdeng@sei.ecnu.edu.cn |
| Source: | Theoretical Computer Science; Apr2022, Vol. 913, p43-72, 30p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03043975 |
|---|---|
| DOI: | 10.1016/j.tcs.2022.01.044 |
