Lvzhou Li

最新发表

Lvzhou Li, Yuan Feng (2015). On hybrid models of quantum finite automata. Journal of Computer and System Sciences.

引用 DOI URL

Lvzhou Li, Yuan Feng (2015). Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Information and Computation.

引用 DOI URL