@article{AbdullaFMSD14,
    Author = {Abdulla, ParoshAziz and Atig, MohamedFaouzi and Rezine, Othmane and Stenman, Jari},
    ISSN = {0925-9856},
    Journal = {Formal Methods in System Design},
    Keywords = {Concurrent pushdown systems; Verification problems; LTL-model-checking; Reachability problem; Recursive programs},
    Language = {English},
    Number = {2},
    Pages = {273-301},
    Publisher = {Springer US},
    Title = {Budget-bounded model-checking pushdown systems},
    URL = {http://dx.doi.org/10.1007/s10703-014-0207-y},
    Volume = {45},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10703-014-0207-y},
    date-added = {2015-01-06 14:51:51 +0000},
    date-modified = {2015-01-06 14:51:51 +0000},
    doi = {10.1007/s10703-014-0207-y}
}

@article{AbdullaFMSD14, Author = {Abdulla, ParoshAziz and Atig, MohamedFaouzi and Rezine, Othmane and Stenman, Jari}, ISSN = {0925-9856}, Journal = {Formal Methods in System Design}, Keywords = {Concurrent pushdown systems; Verification problems; LTL-model-checking; Reachability problem; Recursive programs}, Language = {English}, Number = {2}, Pages = {273-301}, Publisher = {Springer US}, Title = {Budget-bounded model-checking pushdown systems}, URL = {http://dx.doi.org/10.1007/s10703-014-0207-y}, Volume = {45}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10703-014-0207-y}, date-added = {2015-01-06 14:51:51 +0000}, date-modified = {2015-01-06 14:51:51 +0000}, doi = {10.1007/s10703-014-0207-y} }