Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying. Model Checking Omega-regular Properties for Quantum Markov Chains . In Roland Meyer, Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. Volume 85 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017.
No references recorded for this publication.
No citations of this publication recorded.