Mingsheng Ying

1 ta ish

Tsinghua University

1. Model checking quantum Markov chains

   Yuan Feng, Nengkun Yu, Mingsheng Ying

   Maqola20133 iqtibos

   ABIABI:AkademIndex/2026.other.393498