@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}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A