[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, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs 85, 2017.
Downloads: bibURL: https://doi.org/10.4230/LIPIcs.CONCUR.2017.35