@article{muscholl:1996,
    Author = {Muscholl, Anca},
    File = {On the complementation of asynchronous cellular BÃ¼chi automata - Muscholl (0) (0) - a - a - e.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {asynchronous automata and trace theory},
    Number = {2},
    Pages = {123 - 145},
    Title = {On the complementation of asynchronous cellular B{\\textasciitilde A}¼chi automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S030439759600117X},
    Volume = {169},
    Year = {1996},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S030439759600117X},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(96)00117-X},
    date-added = {2013-02-21 10:20:05 +0000},
    date-modified = {2013-02-21 10:21:13 +0000},
    doi = {10.1016/S0304-3975(96)00117-X}
}

@article{muscholl:1996, Author = {Muscholl, Anca}, File = {On the complementation of asynchronous cellular BÃ¼chi automata - Muscholl (0) (0) - a - a - e.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {asynchronous automata and trace theory}, Number = {2}, Pages = {123 - 145}, Title = {On the complementation of asynchronous cellular B{\textasciitilde A}¼chi automata}, URL = {http://www.sciencedirect.com/science/article/pii/S030439759600117X}, Volume = {169}, Year = {1996}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S030439759600117X}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(96)00117-X}, date-added = {2013-02-21 10:20:05 +0000}, date-modified = {2013-02-21 10:21:13 +0000}, doi = {10.1016/S0304-3975(96)00117-X} }