@article{CambridgeJournals:703680,
    Author = {Delzanno, Giorgio},
    EPrint = {http://journals.cambridge.org/article\_S1471068406002821},
    File = {Constraint-based automatic verification of abstract models of multithreaded programs - Delzanno (0) (0) - a - a - s.pdf},
    ISSN = {1475-3081},
    Issue = {1-2},
    Journal = {Theory and Practice of Logic Programming},
    Pages = {67--91},
    Title = {Constraint-based automatic verification of abstract models of multithreaded programs},
    URL = {http://dx.doi.org/10.1017/S1471068406002821},
    Volume = {7},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S1471068406002821},
    date-added = {2012-12-18 10:54:40 +0000},
    date-modified = {2012-12-18 10:54:46 +0000},
    numpages = {25},
    doi = {10.1017/S1471068406002821}
}

@article{CambridgeJournals:703680, Author = {Delzanno, Giorgio}, EPrint = {http://journals.cambridge.org/article_S1471068406002821}, File = {Constraint-based automatic verification of abstract models of multithreaded programs - Delzanno (0) (0) - a - a - s.pdf}, ISSN = {1475-3081}, Issue = {1-2}, Journal = {Theory and Practice of Logic Programming}, Pages = {67--91}, Title = {Constraint-based automatic verification of abstract models of multithreaded programs}, URL = {http://dx.doi.org/10.1017/S1471068406002821}, Volume = {7}, bdsk-url-1 = {http://dx.doi.org/10.1017/S1471068406002821}, date-added = {2012-12-18 10:54:40 +0000}, date-modified = {2012-12-18 10:54:46 +0000}, numpages = {25}, doi = {10.1017/S1471068406002821} }