@inproceedings{Fisher2017,
    Address = {Berlin, Heidelberg},
    Author = {Fisher, Corey and Fogarty, Seth and Vardi, Moshe},
    BookTitle = {Proc. of ICLA'17},
    Editor = {Ghosh, Sujata and Prasad, Sanjiva},
    File = {Random Models for Evaluating Efficient Büchi Universality Checking (pp 91--105) - Fisher, Fogarty, Vardi (0) (0) - a - a - k.pdf},
    ISBN = {978-3-662-54069-5},
    Keywords = {citesme!},
    Pages = {91--105},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Random Models for Evaluating Efficient B{\"u}chi Universality Checking},
    URL = {http://dx.doi.org/10.1007/978-3-662-54069-5\_8},
    Year = {2017},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-54069-5\_8},
    date-added = {2017-01-09 10:29:49 +0000},
    date-modified = {2017-05-21 15:33:55 +0000},
    doi = {10.1007/978-3-662-54069-5_8}
}

@inproceedings{Fisher2017, Address = {Berlin, Heidelberg}, Author = {Fisher, Corey and Fogarty, Seth and Vardi, Moshe}, BookTitle = {Proc. of ICLA'17}, Editor = {Ghosh, Sujata and Prasad, Sanjiva}, File = {Random Models for Evaluating Efficient Büchi Universality Checking (pp 91--105) - Fisher, Fogarty, Vardi (0) (0) - a - a - k.pdf}, ISBN = {978-3-662-54069-5}, Keywords = {citesme!}, Pages = {91--105}, Publisher = {Springer Berlin Heidelberg}, Title = {Random Models for Evaluating Efficient B{\"u}chi Universality Checking}, URL = {http://dx.doi.org/10.1007/978-3-662-54069-5_8}, Year = {2017}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-54069-5_8}, date-added = {2017-01-09 10:29:49 +0000}, date-modified = {2017-05-21 15:33:55 +0000}, doi = {10.1007/978-3-662-54069-5_8} }