Details for the publication GuanFTY24.

Ji Guan, Yuan Feng (), Andrea Turrini, Mingsheng Ying: Measurement-based Verification of Quantum Markov Chains. In Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III, volume 14683 of Lecture Notes in Computer Science, pages 533-554, 2024. DOI BIB