The following publications are possibly variants of this publication:
- Monotonic Abstraction in Parameterized VerificationParosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine. ENTCS, 223:3-14, 2008. [doi]
- Monotonic Abstraction for Programs with Dynamic Memory HeapsParosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine. cav 2008: 341-354 [doi]
- Constrained Monotonic Abstraction: A CEGAR for Parameterized VerificationParosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine. concur 2010: 86-101 [doi]
- Monotonic Abstraction: on Efficient Verification of Parameterized SystemsParosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine. ijfcs, 20(5):779-801, 2009. [doi]