@inproceedings{ItoNakano2009,
  author    = {{Yasuaki Ito and Koji Nakano}},
  title     = {{A Hardware-Software Cooperative Approach to the Exhaustive verification of the Collatz conjecture}},
  booktitle = {{International Symp. on Parallel and Distributed Processing with Applications}},
  year      = {{2009}},
  pages     = {{63--70}},
}