Pages that link to "Item:Q2946731"
From MaRDI portal
The following pages link to Model-Checking Linear-Time Properties of Quantum Systems (Q2946731):
Displayed 6 items.
- Toward automatic verification of quantum programs (Q667515) (← links)
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Equivalence checking of quantum finite-state machines (Q2220441) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649) (← links)