External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking Omega-regular Properties for Quantum Markov Chains

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. [doi]

Authors

Yuan Feng

This author has not been identified. Look up 'Yuan Feng' in Google

Ernst Moritz Hahn

This author has not been identified. Look up 'Ernst Moritz Hahn' in Google

Andrea Turrini

This author has not been identified. Look up 'Andrea Turrini' in Google

Shenggang Ying

This author has not been identified. Look up 'Shenggang Ying' in Google
runs on