Model checking quantum Markov chains
Yuan FengTsinghua University, ChinaNengkun YuTsinghua University, ChinaMingsheng YingTsinghua University, China
2013en
ABI
Аннотация
Аннотация отсутствует.
Идентификаторы
Цитирования и источники
Цитирований: 3Использованных источников: 0