Model checking quantum Markov chains
Yuan FengTsinghua University, ChinaNengkun YuTsinghua University, ChinaMingsheng YingTsinghua University, China
2013en
ABI
Аннотация
Аннотация мавжуд эмас.
Идентификаторлар
Иқтибослар ва манбалар
3 та иқтибос0 та фойдаланилган манба