Handling Parameterized Systems with Non-atomic Global Conditions.

Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine

Browse the full VMCAI paper archive.