Browsing by Author Hahn, EM

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
1-Aug-2017Model checking ω-regular properties for quantum Markov chainsFeng, Y; Hahn, EM; Turrini, A; Ying, S