Model Checking Quantum Continuous-Time Markov Chains.

Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu

Browse the full CONCUR paper archive.