Some formal methods for analyzing quantum automata

Alberto Bertoni, Carlo Mereghetti, Beatrice Palano. Some formal methods for analyzing quantum automata. In Carlo Mereghetti, Beatrice Palano, Giovanni Pighizzini, Detlef Wotschke, editors, 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings. pages 1-14, Università degli Studi di Milano, Milan, Italy, 2005.

Abstract

Abstract is missing.