Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
Article

Model checking quantum Markov chains

Yuan FengTsinghua University, ChinaNengkun YuTsinghua University, ChinaMingsheng YingTsinghua University, China
2013en
ABI

Abstract

No abstract available.

Identifiers

DOI
10.1016/j.jcss.2013.04.002

Citations and references

Cited by 30 references
Metrics — AkademScholar