View in EDS

Model checking QCTL plus on quantum Markov chains.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first