@Inproceedings{EPTCS252.16,
  author    = {Marais, Laurette and van Zijl, Lynette},
  year      = {2017},
  title     = {Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata},
  editor    = {Csuhaj-Varj\'u, Erzs\'ebet and D\"om\"osi, P\'al and Vaszil, Gy\"orgy},
  booktitle = {{\rm Proceedings 15th International Conference on}
               Automata and Formal Languages,
               {\rm Debrecen, Hungary, September 4-6, 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {252},
  publisher = {Open Publishing Association},
  pages     = {157-169},
  doi       = {10.4204/EPTCS.252.16},
}