@inproceedings{LangeBuffered:2014,
    Author = {Hutagalung, Milka and Lange, Martin and Lozes, Etienne},
    BookTitle = {Proc. of AFL'14},
    Editor = {{\'Esik, Zolt\'an} and {F\"ul\"op, Zolt\'an}},
    File = {BibDesk/inproceedings/Buffered Simulation Games for B\"uchi Automata - Hutagalung, Lange, Lozes (0).pdf},
    Pages = {286--300},
    Publisher = {Open Publishing Association},
    Series = {EPTCS},
    Title = {Buffered Simulation Games for {B\"uchi Automata}},
    Volume = {151},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.151.20},
    date-added = {2014-12-11 12:46:46 +0000},
    date-modified = {2015-10-01 12:08:04 +0000},
    doi = {10.4204/EPTCS.151.20}
}

@inproceedings{LangeBuffered:2014, Author = {Hutagalung, Milka and Lange, Martin and Lozes, Etienne}, BookTitle = {Proc. of AFL'14}, Editor = {{\'Esik, Zolt\'an} and {F\"ul\"op, Zolt\'an}}, File = {BibDesk/inproceedings/Buffered Simulation Games for B\"uchi Automata - Hutagalung, Lange, Lozes (0).pdf}, Pages = {286--300}, Publisher = {Open Publishing Association}, Series = {EPTCS}, Title = {Buffered Simulation Games for {B\"uchi Automata}}, Volume = {151}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.151.20}, date-added = {2014-12-11 12:46:46 +0000}, date-modified = {2015-10-01 12:08:04 +0000}, doi = {10.4204/EPTCS.151.20} }