@inproceedings{KT14,
  author    = {O. Kupferman and T. Tamir},
  title     = {Properties and Utilization of Capacitated Automata},
  booktitle = fsttcs14,
  pages     = ?,
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  series    = {LIPIcs},
  volume    = ?,
  year      = {2014}
}