@article{doi:10.1142/S0129054109006887,
    Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Ben Henda, Noomene and Rezine, Ahmed},
    EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054109006887},
    File = {Monotonic Abstraction (On Efficient Verification of Parameterized Systems) - Abdulla, Delzanno, Ben Henda, Rezine (0) (0) - a - a - k.pdf},
    Journal = {International Journal of Foundations of Computer Science},
    Number = {05},
    Pages = {779-801},
    Title = {Monotonic Abstraction (On Efficient Verification of Parameterized Systems)},
    URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054109006887},
    Volume = {20},
    Year = {2009},
    bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054109006887},
    bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054109006887},
    date-added = {2012-12-18 11:01:11 +0000},
    date-modified = {2012-12-18 11:03:34 +0000},
    doi = {10.1142/S0129054109006887}
}

@article{doi:10.1142/S0129054109006887, Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Ben Henda, Noomene and Rezine, Ahmed}, EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054109006887}, File = {Monotonic Abstraction (On Efficient Verification of Parameterized Systems) - Abdulla, Delzanno, Ben Henda, Rezine (0) (0) - a - a - k.pdf}, Journal = {International Journal of Foundations of Computer Science}, Number = {05}, Pages = {779-801}, Title = {Monotonic Abstraction (On Efficient Verification of Parameterized Systems)}, URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054109006887}, Volume = {20}, Year = {2009}, bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054109006887}, bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054109006887}, date-added = {2012-12-18 11:01:11 +0000}, date-modified = {2012-12-18 11:03:34 +0000}, doi = {10.1142/S0129054109006887} }