@inproceedings{salvati:walukiewicz:2013,
    Author = {Salvati, Sylvain and Walukiewicz, Igor},
    BookTitle = {Proc. of TLCA'13},
    Editor = {Hasegawa, Masahito},
    File = {Using Models to Model-Check Recursive Schemes - Salvati, Walukiewicz (0) (0) - a - a - g.pdf},
    ISBN = {978-3-642-38945-0},
    Pages = {189-204},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {Using Models to Model-Check Recursive Schemes},
    URL = {http://dx.doi.org/10.1007/978-3-642-38946-7\_15},
    Volume = {7941},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-38946-7\_15},
    date-added = {2013-12-13 14:18:45 +0000},
    date-modified = {2014-01-01 15:17:25 +0000},
    doi = {10.1007/978-3-642-38946-7_15}
}

@inproceedings{salvati:walukiewicz:2013, Author = {Salvati, Sylvain and Walukiewicz, Igor}, BookTitle = {Proc. of TLCA'13}, Editor = {Hasegawa, Masahito}, File = {Using Models to Model-Check Recursive Schemes - Salvati, Walukiewicz (0) (0) - a - a - g.pdf}, ISBN = {978-3-642-38945-0}, Pages = {189-204}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {Using Models to Model-Check Recursive Schemes}, URL = {http://dx.doi.org/10.1007/978-3-642-38946-7_15}, Volume = {7941}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-38946-7_15}, date-added = {2013-12-13 14:18:45 +0000}, date-modified = {2014-01-01 15:17:25 +0000}, doi = {10.1007/978-3-642-38946-7_15} }