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.
@inproceedings{BertoniMP05-0,
title = {Some formal methods for analyzing quantum automata},
author = {Alberto Bertoni and Carlo Mereghetti and Beatrice Palano},
year = {2005},
researchr = {https://researchr.org/publication/BertoniMP05-0},
cites = {0},
citedby = {0},
pages = {1-14},
booktitle = {7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings},
editor = {Carlo Mereghetti and Beatrice Palano and Giovanni Pighizzini and Detlef Wotschke},
publisher = {Università degli Studi di Milano, Milan, Italy},
}