Pages that link to "Item:Q2914364"
From MaRDI portal
The following pages link to Reachability and Termination Analysis of Concurrent Quantum Programs (Q2914364):
Displaying 4 items.
- Toward automatic verification of quantum programs (Q667515) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Decomposition of quantum Markov chains and its applications (Q1747488) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
