\Ernst Moritz\ Hahn

最新发表

Yuan Feng, \Ernst Moritz\ Hahn, Andrea Turrini, Shenggang Ying (2017). Model Checking Omega-regular Properties for Quantum Markov Chains. 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany.

引用 DOI