@inproceedings{Blondin2014,
    Address = {Berlin, Heidelberg},
    Author = {Blondin, Michael and Finkel, Alain and McKenzie, Pierre},
    BookTitle = {Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II},
    Editor = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
    File = {10.1.1.643.9970 (0) - a - a - s.pdf},
    ISBN = {978-3-662-43951-7},
    Pages = {13--25},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Handling Infinitely Branching WSTS},
    URL = {http://dx.doi.org/10.1007/978-3-662-43951-7\_2},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-43951-7\_2},
    date-added = {2017-02-10 13:08:25 +0000},
    date-modified = {2017-02-10 13:08:29 +0000},
    file-2 = {presentation-PV-2015 (0) - a - a - s.pdf},
    file-3 = {slides\_icalp2014 (0) - a - a - s.pdf},
    doi = {10.1007/978-3-662-43951-7_2}
}

@inproceedings{Blondin2014, Address = {Berlin, Heidelberg}, Author = {Blondin, Michael and Finkel, Alain and McKenzie, Pierre}, BookTitle = {Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II}, Editor = {Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias}, File = {10.1.1.643.9970 (0) - a - a - s.pdf}, ISBN = {978-3-662-43951-7}, Pages = {13--25}, Publisher = {Springer Berlin Heidelberg}, Title = {Handling Infinitely Branching WSTS}, URL = {http://dx.doi.org/10.1007/978-3-662-43951-7_2}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-43951-7_2}, date-added = {2017-02-10 13:08:25 +0000}, date-modified = {2017-02-10 13:08:29 +0000}, file-2 = {presentation-PV-2015 (0) - a - a - s.pdf}, file-3 = {slides_icalp2014 (0) - a - a - s.pdf}, doi = {10.1007/978-3-662-43951-7_2} }