Pages that link to "Item:Q2123051"
From MaRDI portal
The following pages link to Model checking QCTL plus on quantum Markov chains (Q2123051):
Displaying 5 items.
- Model checking quantum Markov chains (Q394340) (← links)
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- Open quantum random walks and quantum Markov chains on trees. II: The recurrence (Q6098299) (← links)
- (Q6134257) (← links)