@inproceedings{AbdullaChenClementeHolikHongMayrVojnar:CONCUR:2011,
    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 CONCUR'11},
    Editor = {Katoen, Joost-Pieter and K{\"o}nig, Barbara},
    File = {Advanced Ramsey-Based Büchi Automata Inclusion Testing - Abdulla, Chen, Clemente, Holík, Hong, Mayr, Vojnar (0) (0) - a - a - y.pdf},
    Pages = {187--202},
    Series = {LNCS},
    Title = {{Advanced Ramsey-based B{\"u}chi automata inclusion testing}},
    Volume = {6901},
    Year = {2011},
    bdsk-url-1 = {http://www.springerlink.com/content/e14t15u580x7n332/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-23217-6\_13},
    date-added = {2012-04-21 15:08:31 +0200},
    date-modified = {2019-03-08 19:28:01 +0100},
    file-2 = {Advanced Ramsey-based Büchi automata inclusion testing - Abdulla, Chen, Clemente, Holík, Hong, Mayr, Vojnar (0)0 (0) - a - a - y.pdf},
    file-3 = {Advanced Ramsey-based Büchi automata inclusion testing - Abdulla, Chen, Clemente, Holík, Hong, Mayr, Vojnar (1) (0) - a - a - y.pdf},
    doi = {10.1007/978-3-642-23217-6_13}
}

@inproceedings{AbdullaChenClementeHolikHongMayrVojnar:CONCUR:2011, 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 CONCUR'11}, Editor = {Katoen, Joost-Pieter and K{\"o}nig, Barbara}, File = {Advanced Ramsey-Based Büchi Automata Inclusion Testing - Abdulla, Chen, Clemente, Holík, Hong, Mayr, Vojnar (0) (0) - a - a - y.pdf}, Pages = {187--202}, Series = {LNCS}, Title = {{Advanced Ramsey-based B{\"u}chi automata inclusion testing}}, Volume = {6901}, Year = {2011}, bdsk-url-1 = {http://www.springerlink.com/content/e14t15u580x7n332/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-23217-6_13}, date-added = {2012-04-21 15:08:31 +0200}, date-modified = {2019-03-08 19:28:01 +0100}, file-2 = {Advanced Ramsey-based Büchi automata inclusion testing - Abdulla, Chen, Clemente, Holík, Hong, Mayr, Vojnar (0)0 (0) - a - a - y.pdf}, file-3 = {Advanced Ramsey-based Büchi automata inclusion testing - Abdulla, Chen, Clemente, Holík, Hong, Mayr, Vojnar (1) (0) - a - a - y.pdf}, doi = {10.1007/978-3-642-23217-6_13} }