Publication | Closed Access

Some formal tools for analyzing quantum automata

Quantum ScienceEngineeringQuantum ComputingQuantum AutomatonQuantum AlgorithmFormal MethodsComputer ScienceFormal ToolsFormal VerificationQuantum Algorithms