%0 Conference Paper %1 conf/atva/KarmarkarJC13 %A Karmarkar, Hrishikesh %A Joglekar, Manas %A Chakraborty, Supratik %B ATVA %D 2013 %E Hung, Dang Van %E Ogawa, Mizuhito %I Springer %K dblp %P 40-54 %T Improved Upper and Lower Bounds for Büchi Disambiguation. %U http://dblp.uni-trier.de/db/conf/atva/atva2013.html#KarmarkarJC13 %V 8172 %@ 978-3-319-02443-1

@inproceedings{conf/atva/KarmarkarJC13, added-at = {2017-06-01T00:00:00.000+0200}, author = {Karmarkar, Hrishikesh and Joglekar, Manas and Chakraborty, Supratik}, biburl = {https://www.bibsonomy.org/bibtex/207671b90f555f976f9c41dd1d0df5033/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2013}, editor = {Hung, Dang Van and Ogawa, Mizuhito}, ee = {https://doi.org/10.1007/978-3-319-02444-8_5}, interhash = {baf607d9876ed46254e1fa39dfefde0f}, intrahash = {07671b90f555f976f9c41dd1d0df5033}, isbn = {978-3-319-02443-1}, keywords = {dblp}, pages = {40-54}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:01.000+0200}, title = {Improved Upper and Lower Bounds for Büchi Disambiguation.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2013.html#KarmarkarJC13}, volume = 8172, year = 2013 }