Analysis and verification of an automatic document feeder

Bas Ploeger, Lou J. Somers. Analysis and verification of an automatic document feeder. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1499-1505, ACM, 2007. [doi]

@inproceedings{PloegerS07,
  title = {Analysis and verification of an automatic document feeder},
  author = {Bas Ploeger and Lou J. Somers},
  year = {2007},
  doi = {10.1145/1244002.1244324},
  url = {http://doi.acm.org/10.1145/1244002.1244324},
  tags = {analysis},
  researchr = {https://researchr.org/publication/PloegerS07},
  cites = {0},
  citedby = {0},
  pages = {1499-1505},
  booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007},
  editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo},
  publisher = {ACM},
  isbn = {1-59593-480-4},
}