@Inproceedings{EPTCS151.20,
  author    = {Hutagalung, Milka and Lange, Martin and Lozes, Etienne},
  year      = {2014},
  title     = {Buffered Simulation Games for B\"uchi Automata},
  editor    = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an},
  booktitle = {{\rm Proceedings 14th International Conference on}
               Automata and Formal Languages,
               {\rm Szeged, Hungary, May 27-29, 2014}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {151},
  publisher = {Open Publishing Association},
  pages     = {286-300},
  doi       = {10.4204/EPTCS.151.20},
}