Model checking quantum Markov chains
Yuan FengTsinghua University, ChinaNengkun YuTsinghua University, ChinaMingsheng YingTsinghua University, China
2013en
ABI
Annotatsiya
Annotatsiya mavjud emas.
Identifikatorlar
Iqtiboslar va manbalar
3 ta iqtibos0 ta foydalanilgan manba