An efficient verification of quantum circuits under a practical restriction

Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller. An efficient verification of quantum circuits under a practical restriction. In Qiang Wu, Xiangjian He, Quang Vinh Nguyen, Wenjing Jia, Mao Lin Huang, editors, Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008. pages 873-879, IEEE, 2008. [doi]

@inproceedings{YamashitaMM08-0,
  title = {An efficient verification of quantum circuits under a practical restriction},
  author = {Shigeru Yamashita and Shin-ichi Minato and D. Michael Miller},
  year = {2008},
  doi = {10.1109/CIT.2008.4594789},
  url = {http://dx.doi.org/10.1109/CIT.2008.4594789},
  researchr = {https://researchr.org/publication/YamashitaMM08-0},
  cites = {0},
  citedby = {0},
  pages = {873-879},
  booktitle = {Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008},
  editor = {Qiang Wu and Xiangjian He and Quang Vinh Nguyen and Wenjing Jia and Mao Lin Huang},
  publisher = {IEEE},
  isbn = {978-1-4244-2357-6},
}