OPUS at UTS: Search - Open Publications of UTS Scholars

Current filters:

Add Filter:

Customise results display

Sort items by

In order

Results/Page

Authors/record

Item hits:

Issue Date	Title	Author(s)
2017-08-01	Model checking ω-regular properties for quantum Markov chains	Feng, Y; Hahn, EM; Turrini, A; Ying, S
2015-01-01	QPMC: A model checker for quantum programs and protocols	Feng, Y; Hahn, EM; Turrini, A; Zhang, L

Results 1-2 of 2 (Search time: 0.013 seconds).