@inproceedings{KarmarkarJoglekarChakraborty:2013,
    Author = {Karmarkar, Hrishikesh and Joglekar, Manas and Chakraborty, Supratik},
    BookTitle = {Automated Technology for Verification and Analysis},
    Editor = {Hung, Dang and Ogawa, Mizuhito},
    File = {Improved Upper and Lower Bounds for Büchi Disambiguation - Karmarkar, Joglekar, Chakraborty (1) (0) - a - a - r.pdf},
    ISBN = {978-3-319-02443-1},
    Pages = {40-54},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {Improved Upper and Lower Bounds for B{\"u}chi Disambiguation},
    URL = {http://dx.doi.org/10.1007/978-3-319-02444-8\_5},
    Volume = {8172},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-02444-8\_5},
    date-added = {2014-03-28 11:08:25 +0000},
    date-modified = {2014-03-28 11:08:30 +0000},
    file-2 = {Improved Upper and Lower Bounds for Büchi Disambiguation - Karmarkar, Joglekar, Chakraborty (0) (0) - a - a - r.pdf},
    doi = {10.1007/978-3-319-02444-8_5}
}

@inproceedings{KarmarkarJoglekarChakraborty:2013, Author = {Karmarkar, Hrishikesh and Joglekar, Manas and Chakraborty, Supratik}, BookTitle = {Automated Technology for Verification and Analysis}, Editor = {Hung, Dang and Ogawa, Mizuhito}, File = {Improved Upper and Lower Bounds for Büchi Disambiguation - Karmarkar, Joglekar, Chakraborty (1) (0) - a - a - r.pdf}, ISBN = {978-3-319-02443-1}, Pages = {40-54}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Improved Upper and Lower Bounds for B{\"u}chi Disambiguation}, URL = {http://dx.doi.org/10.1007/978-3-319-02444-8_5}, Volume = {8172}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-02444-8_5}, date-added = {2014-03-28 11:08:25 +0000}, date-modified = {2014-03-28 11:08:30 +0000}, file-2 = {Improved Upper and Lower Bounds for Büchi Disambiguation - Karmarkar, Joglekar, Chakraborty (0) (0) - a - a - r.pdf}, doi = {10.1007/978-3-319-02444-8_5} }