Publication [FengHTY17] Model Checking ω-regular Properties for Quantum Markov Chains Feng, Y.; Hahn, E. M.; Turrini, A. and Ying, S. In CONCUR, pages 35:1-35:16, LIPIcs 85, 2017.Downloads: bib
