@article{Abdulla20083,
    Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Rezine, Ahmed},
    File = {Monotonic Abstraction in Parameterized Verification - Abdulla, Delzanno, Rezine (0) (0) - a - a - q.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {Safety Properties},
    Note = {<ce:title>Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP 2008)</ce:title>},
    Number = {0},
    Pages = {3 - 14},
    Title = {Monotonic Abstraction in Parameterized Verification},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066108004908},
    Volume = {223},
    Year = {2008},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066108004908},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2008.12.027},
    date-added = {2012-12-18 10:58:16 +0000},
    date-modified = {2012-12-18 10:58:16 +0000},
    doi = {10.1016/j.entcs.2008.12.027}
}

@article{Abdulla20083, Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Rezine, Ahmed}, File = {Monotonic Abstraction in Parameterized Verification - Abdulla, Delzanno, Rezine (0) (0) - a - a - q.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {Safety Properties}, Note = {Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP 2008)}, Number = {0}, Pages = {3 - 14}, Title = {Monotonic Abstraction in Parameterized Verification}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066108004908}, Volume = {223}, Year = {2008}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066108004908}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2008.12.027}, date-added = {2012-12-18 10:58:16 +0000}, date-modified = {2012-12-18 10:58:16 +0000}, doi = {10.1016/j.entcs.2008.12.027} }