Some formal tools for analyzing quantum automata

Alberto Bertoni, Carlo Mereghetti, Beatrice Palano. Some formal tools for analyzing quantum automata. Theoretical Computer Science, 356(1-2):14-25, 2006. [doi]

Abstract

Abstract is missing.