@inproceedings{Etessami2000,
    Address = {Berlin, Heidelberg},
    Author = {Etessami, Kousha and Holzmann, Gerard J.},
    BookTitle = {CONCUR 2000 --- Concurrency Theory: 11th International Conference University Park, PA, USA, August 22--25, 2000 Proceedings},
    Editor = {Palamidessi, Catuscia},
    File = {Optimizing Büchi Automata - Etessami, Holzmann (0) (0) (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-44618-7},
    Pages = {153--168},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Optimizing B{\"u}chi Automata},
    URL = {http://dx.doi.org/10.1007/3-540-44618-4\_13},
    Year = {2000},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-44618-4\_13},
    date-added = {2016-11-17 08:16:01 +0000},
    date-modified = {2016-11-17 08:16:07 +0000},
    doi = {10.1007/3-540-44618-4_13}
}

@inproceedings{Etessami2000, Address = {Berlin, Heidelberg}, Author = {Etessami, Kousha and Holzmann, Gerard J.}, BookTitle = {CONCUR 2000 --- Concurrency Theory: 11th International Conference University Park, PA, USA, August 22--25, 2000 Proceedings}, Editor = {Palamidessi, Catuscia}, File = {Optimizing Büchi Automata - Etessami, Holzmann (0) (0) (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-44618-7}, Pages = {153--168}, Publisher = {Springer Berlin Heidelberg}, Title = {Optimizing B{\"u}chi Automata}, URL = {http://dx.doi.org/10.1007/3-540-44618-4_13}, Year = {2000}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-44618-4_13}, date-added = {2016-11-17 08:16:01 +0000}, date-modified = {2016-11-17 08:16:07 +0000}, doi = {10.1007/3-540-44618-4_13} }