@article{BouajjaniTouili,
    Author = {Bouajjani, Ahmed and Touili, Tayssir},
    File = {Widening techniques for regular tree model checking - Bouajjani, Touili (0) (0) - a - a - o.pdf},
    Journal = {International Journal on Software Tools for Technology Transfer (STTT)},
    Keywords = {regular model checking and term rewriting systems},
    Number = {2},
    Pages = {145--165},
    Title = {Widening techniques for regular tree model checking},
    Volume = {14},
    Year = {2012},
    bdsk-url-1 = {http://www.springerlink.com/content/226j750ntm412487/export-citation/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/s10009-011-0208-8},
    date-added = {2012-10-11 07:44:25 +0000},
    date-modified = {2012-10-26 08:59:28 +0000},
    doi = {10.1007/s10009-011-0208-8}
}

@article{BouajjaniTouili, Author = {Bouajjani, Ahmed and Touili, Tayssir}, File = {Widening techniques for regular tree model checking - Bouajjani, Touili (0) (0) - a - a - o.pdf}, Journal = {International Journal on Software Tools for Technology Transfer (STTT)}, Keywords = {regular model checking and term rewriting systems}, Number = {2}, Pages = {145--165}, Title = {Widening techniques for regular tree model checking}, Volume = {14}, Year = {2012}, bdsk-url-1 = {http://www.springerlink.com/content/226j750ntm412487/export-citation/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/s10009-011-0208-8}, date-added = {2012-10-11 07:44:25 +0000}, date-modified = {2012-10-26 08:59:28 +0000}, doi = {10.1007/s10009-011-0208-8} }