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.

Authors

Alberto Bertoni

This author has not been identified. Look up 'Alberto Bertoni' in Google

Carlo Mereghetti

This author has not been identified. Look up 'Carlo Mereghetti' in Google

Beatrice Palano

This author has not been identified. Look up 'Beatrice Palano' in Google