@inproceedings{Abdulla:2010:SSR:2144310.2144328,
    Address = {Berlin, Heidelberg},
    Author = {Abdulla, Parosh Aziz and Chen, Yu-Fang and Clemente, Lorenzo and Hol\'{\i}k, Luk\'{a}\v{s} and Hong, Chih-Duo and Mayr, Richard and Vojnar, Tom\'{a}\v{s}},
    BookTitle = {Proc. of CAV'10},
    Editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul},
    File = {Abdulla2010\_Chapter\_SimulationSubsumptionInRamsey- (0) - a - a - j.pdf},
    ISBN = {3-642-14294-X, 978-3-642-14294-9},
    Location = {Edinburgh, UK},
    Pages = {132--147},
    Publisher = {Springer-Verlag},
    Series = {LNCS},
    Title = {Simulation subsumption in {R}amsey-based {B}\"{u}chi automata universality and inclusion testing},
    URL = {http://dx.doi.org/10.1007/978-3-642-14295-6\_14},
    Year = {2010},
    acmid = {2144328},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14295-6\_14},
    date-added = {2012-04-21 15:04:50 +0200},
    date-modified = {2013-12-22 17:12:31 +0000},
    numpages = {16},
    doi = {10.1007/978-3-642-14295-6_14}
}

@inproceedings{Abdulla:2010:SSR:2144310.2144328, Address = {Berlin, Heidelberg}, Author = {Abdulla, Parosh Aziz and Chen, Yu-Fang and Clemente, Lorenzo and Hol\'{\i}k, Luk\'{a}\v{s} and Hong, Chih-Duo and Mayr, Richard and Vojnar, Tom\'{a}\v{s}}, BookTitle = {Proc. of CAV'10}, Editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul}, File = {Abdulla2010_Chapter_SimulationSubsumptionInRamsey- (0) - a - a - j.pdf}, ISBN = {3-642-14294-X, 978-3-642-14294-9}, Location = {Edinburgh, UK}, Pages = {132--147}, Publisher = {Springer-Verlag}, Series = {LNCS}, Title = {Simulation subsumption in {R}amsey-based {B}\"{u}chi automata universality and inclusion testing}, URL = {http://dx.doi.org/10.1007/978-3-642-14295-6_14}, Year = {2010}, acmid = {2144328}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14295-6_14}, date-added = {2012-04-21 15:04:50 +0200}, date-modified = {2013-12-22 17:12:31 +0000}, numpages = {16}, doi = {10.1007/978-3-642-14295-6_14} }