Forcing Monotonicity in Parameterized Verification: From Multisets to Words.

Parosh Aziz Abdulla

Browse the full SOFSEM paper archive.